s390x - Build & Test

Use $ in more fstar macros to remove hardcoded names that are not com… #828

Sign in to view logs

Triggered via push January 29, 2025 16:33

maximebuyse

adapt-to-new-hax-naming

Status Success

Total duration 9m 28s

Artifacts –

s390x.yml

on: push

Build on ubuntu-22.04 s390x