Skip to content

Enable usage of github runner file commands #442

Enable usage of github runner file commands

Enable usage of github runner file commands #442

Annotations

3 warnings

custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)

succeeded May 10, 2024 in 6m 3s
Set up job
0s
Run actions/checkout@v3
1s
Run actions/checkout@v3
0s
Run /./docker-coq-action
6m 0s
Post Run actions/checkout@v3
0s
Post Run actions/checkout@v3
0s
Complete job
0s