search

coq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
MIT License
12 stars 4 forks source link

sudo chmod results in command not found #58

Closed JasonGross closed 3 years ago

JasonGross commented 3 years ago

https://github.com/coq-community/run-coq-bug-minimizer/runs/2634834562?check_suite_focus=true#step:5:229

+ sudo chmod a+rw .
/github/workspace/run-script.sh: line 12: sudo: command not found
JasonGross commented 3 years ago

Hmm, I guess this is only an issue for using Coq's CI docker images, so is not an issue with the action