Skip to content

feat(F* extraction): functional correctness #831

feat(F* extraction): functional correctness

feat(F* extraction): functional correctness #831

Triggered via push January 29, 2025 16:43
Status Cancelled
Total duration 1m 21s
Artifacts

s390x.yml

on: push
Build on ubuntu-22.04 s390x
0s
Build on ubuntu-22.04 s390x
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build on ubuntu-22.04 s390x
Canceling since a higher priority waiting request for 's390x - Build & Test-refs/heads/lf-portable-encoding-commitment' exists