Skip to content
CI (Coq, Alpine)

Add remaining rewrite rules for saturated arithmetic #331

Sign in to view logs

Add remaining rewrite rules for saturated arithmetic

Add remaining rewrite rules for saturated arithmetic #331

Run time

Learn about OS pricing on GitHub Actions
Job Run time
alpine-edge
49m 23s
test-standalone-${{ matrix.alpine }}
0s
publish-standalone
0s
alpine-check-all
1s
49m 24s