Skip to content
Test Generated C

Update coq-alpine.yml #5977

Sign in to view logs

Update coq-alpine.yml

Update coq-alpine.yml #5977

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-c
25m 39s
25m 39s