Skip to content

Enable usage of github runner file commands #438

Enable usage of github runner file commands

Enable usage of github runner file commands #438

Annotations

2 warnings

custom_image / docker-coq / opam / env (coqorg/coq:latest)

failed May 10, 2024 in 5m 39s
Set up job
1s
Run actions/checkout@v3
0s
Run actions/checkout@v3
1s
Run /./docker-coq-action
5m 36s
Post Run actions/checkout@v3
0s
Post Run actions/checkout@v3
0s
Complete job
0s