Skip to content
Build and test FStar

update test_package.sh #4429

Sign in to view logs

update test_package.sh

update test_package.sh #4429

Triggered via push January 7, 2025 02:23
@mtzguidomtzguido
pushed 54b164a
guido_release
Status Success
Total duration 22m 41s
Artifacts –

linux-x64.yaml

on: push
build
12m 33s
build
Fit to window
Zoom out
Zoom in