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

Build and test Karamel based on a FStar image #1985

Sign in to view logs

Build and test Karamel based on a FStar image

Build and test Karamel based on a FStar image #1985

Triggered via schedule January 9, 2025 02:02
@msprotzmsprotz
⁠ 0e372f6
master
Status Failure
Total duration 8m 2s
Artifacts –

linux-x64-hierarchic.yaml

on: schedule
build
7m 55s
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.