Skip to content
Test Generated C

Split up coq-docker job a lot #4910

Sign in to view logs

Split up coq-docker job a lot

Split up coq-docker job a lot #4910

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-c
24m 0s
24m 0s