Skip to content
continuous integration (staging)

fix: resolve ofNat vs natCast confusion in a Fin lemma (#17422) #10867

Sign in to view logs

fix: resolve ofNat vs natCast confusion in a Fin lemma (#17422)

fix: resolve ofNat vs natCast confusion in a Fin lemma (#17422) #10867

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
51m 58s
Lint style
56s
Cancel Previous Runs (CI)
3s
Post-CI job
8s
53m 5s