s390x - Build & Test

Update F* output with latest hax (after merging new naming). #867

Sign in to view logs

Triggered via pull request January 30, 2025 15:27

maximebuyse

synchronize #781

update-fstar-new-naming

Status Success

Total duration 9m 31s

Artifacts –

s390x.yml

on: pull_request

Build on ubuntu-22.04 s390x