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

Build and test Karamel based on a FStar image #969

Sign in to view logs

Build and test Karamel based on a FStar image

Build and test Karamel based on a FStar image #969

Triggered via schedule November 26, 2023 01:13
@msprotzmsprotz
⁠ a7be2a7
master
Status Failure
Total duration 5m 36s
Artifacts –

linux-x64-hierarchic.yaml

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