Skip to content
Build and test Everest

everest-move: get_fstar_z3.sh is now under .scripts in F* #455

Sign in to view logs

everest-move: get_fstar_z3.sh is now under .scripts in F*

everest-move: get_fstar_z3.sh is now under .scripts in F* #455

Triggered via push January 12, 2025 22:21
@mtzguidomtzguido
pushed 711bed7
master
Status Success
Total duration 3h 0m 2s
Artifacts –

linux-x64.yaml

on: push
build
2h 59m
build
Fit to window
Zoom out
Zoom in