Build and test

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

Sign in to view logs

Triggered via push November 23, 2023 12:50

chrysn

ci-using-prebuilt-hax

Status Failure

Total duration 2m 28s

Artifacts –

build-and-test.yml

on: push

Annotations

1 error

generate-fstar

Process completed with exit code 101.