Skip to content
s390x - Build & Test

fix: fstar inlined code: refresh impl expr ID #578

Sign in to view logs

fix: fstar inlined code: refresh impl expr ID

fix: fstar inlined code: refresh impl expr ID #578

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build on ubuntu-22.04 s390x
9m 30s
9m 30s