Skip to content
Add issue/pr to project

Update F* version to latest release #402

Sign in to view logs

Update F* version to latest release

Update F* version to latest release #402

Triggered via pull request January 18, 2024 13:36
@W95PspW95Psp
opened #441
update-fstar-version
Status Success
Total duration 11s
Artifacts –

add_to_project.yml

on: pull_request
Add issue/pr to project
2s
Add issue/pr to project
Fit to window
Zoom out
Zoom in