Skip to content
main

fix(lean-imt): After a sequence of updates a proof is invalid. #181

Sign in to view logs

fix(lean-imt): After a sequence of updates a proof is invalid.

fix(lean-imt): After a sequence of updates a proof is invalid. #181

Run time

Learn about OS pricing on GitHub Actions
Job Run time
tests
4m 4s
style
2m 0s
6m 4s