Skip to content
Install & test

Additions and corrections in F* core lib. #3783

Sign in to view logs

Additions and corrections in F* core lib.

Additions and corrections in F* core lib. #3783

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

install_and_test.yml

on: pull_request
nix-action
14m 48s
nix-action
Fit to window
Zoom out
Zoom in