Skip to content
Test Workspace

Additions and corrections in F* core lib. #3835

Sign in to view logs

Additions and corrections in F* core lib.

Additions and corrections in F* core lib. #3835

Triggered via pull request February 4, 2025 16:55
@maximebuysemaximebuyse
opened #1292
fstar-core-additions-and-fixes
Status Success
Total duration 3m 25s
Artifacts –

test.yml

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