Skip to content
s390x - Build & Test

Use local functions in favor of macros to help F* #76

Sign in to view logs

Use local functions in favor of macros to help F*

Use local functions in favor of macros to help F* #76

Triggered via push November 6, 2024 13:30
@jschneider-benschjschneider-bensch
pushed 11b5102
jonas/ml-dsa-target-feature
Status Success
Total duration 8m 59s
Artifacts –

s390x.yml

on: push
Build on ubuntu-22.04 s390x
6m 38s
Build on ubuntu-22.04 s390x
Fit to window
Zoom out
Zoom in