Skip to content
s390x - Build & Test

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

Sign in to view logs

fix: fstar inlined code: refresh impl expr ID

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

Run time

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