Skip to content
Test Workspace

feat(backend/fstar): patterns: allow shallow POr #1445

Sign in to view logs

feat(backend/fstar): patterns: allow shallow POr

feat(backend/fstar): patterns: allow shallow POr #1445

Triggered via pull request January 30, 2024 06:40
@W95PspW95Psp
synchronize #473
fstar-shallow-disj-pats
Status Success
Total duration 4m 43s
Artifacts –

test.yml

on: pull_request
no-std-lib
31s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in