Skip to content
CI (Coq, MacOS)

Augment rewrite rule proving tactics for saturated arithmetic (#1783) #4222

Sign in to view logs

Augment rewrite rule proving tactics for saturated arithmetic (#1783)

Augment rewrite rule proving tactics for saturated arithmetic (#1783) #4222

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macos
3h 16m 44s
test-standalone
18s
publish-standalone
17s
macos-check-all
1s
3h 17m 20s