s390x - Build & Test

Merge pull request #781 from cryspen/update-fstar-new-naming #868

Sign in to view logs

Triggered via push January 30, 2025 16:05

maximebuyse

main

Status Failure

Total duration 12m 17s

Artifacts –

s390x.yml

on: push

Build on ubuntu-22.04 s390x

Annotations

1 error

Build on ubuntu-22.04 s390x

The process '/home/runner/work/_actions/uraimo/run-on-arch-action/v2/src/run-on-arch.sh' failed with exit code 1