s390x - Build & Test

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

Sign in to view logs

Triggered via push January 29, 2025 15:28

maximebuyse

adapt-to-new-hax-naming

Status Success

Total duration 9m 36s

Artifacts –

s390x.yml

on: push

Build on ubuntu-22.04 s390x