Skip to content
CI (Coq, Alpine)

Bump rewriter from 869b054 to e8da092 #1032

Sign in to view logs

Bump rewriter from 869b054 to e8da092

Bump rewriter from 869b054 to e8da092 #1032

Run time

Learn about OS pricing on GitHub Actions
Job Run time
alpine-edge
1m 27s
alpine-check-all
2s
publish-standalone
-1s
format('test-standalone-{0}', matrix.alpine)
-1s
1m 27s