Skip to content
Test Generated C

[CI] [coq-docker] export CI=1 #4826

Sign in to view logs

[CI] [coq-docker] export CI=1

[CI] [coq-docker] export CI=1 #4826

Run time

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