Skip to content
Test Workspace

Fixes to F* library and extraction #1979

Sign in to view logs

Fixes to F* library and extraction

Fixes to F* library and extraction #1979

Triggered via pull request April 25, 2024 19:27
@karthikbhargavankarthikbhargavan
synchronize #631
fstar-lib-additions
Status Success
Total duration 3m 46s
Artifacts –

test.yml

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