Skip to content
Build and test Karamel based on a FStar image

Slightly more readable control-flow #839

Sign in to view logs

Slightly more readable control-flow

Slightly more readable control-flow #839

Triggered via push October 4, 2023 23:00
@msprotzmsprotz
pushed 4c2b33c
protz_ignore_ifdef
Status Failure
Total duration 4m 30s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

linux-x64-hierarchic.yaml

on: push
build
4m 24s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build
Process completed with exit code 1.
build
No files were found with the provided path: log.txt. No artifacts will be uploaded.