Skip to content

Enable usage of github runner file commands #449

Enable usage of github runner file commands

Enable usage of github runner file commands #449

Annotations

3 warnings

custom_image / docker-coq / make / custom_script (coqorg/coq:dev)

succeeded May 10, 2024 in 8m 39s
Set up job
0s
Run actions/checkout@v3
0s
Run actions/checkout@v3
0s
Run /./docker-coq-action
8m 36s
Revert permissions
0s
Post Run actions/checkout@v3
0s
Post Run actions/checkout@v3
0s
Complete job
0s