Skip to content
Build and test

DO NOT MERGE: Testing w/ explicit docker run #4

Sign in to view logs

DO NOT MERGE: Testing w/ explicit docker run

DO NOT MERGE: Testing w/ explicit docker run #4

Triggered via push November 23, 2023 12:48
@chrysnchrysn
pushed cdf3a05
ci-using-prebuilt-hax
Status Failure
Total duration 11s
Artifacts –

build-and-test.yml

on: push
generate-fstar
2s
generate-fstar
Fit to window
Zoom out
Zoom in

Annotations

1 error
generate-fstar
Process completed with exit code 1.