[docs] Add sudo-chown example & fail-fast remark

coq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]

MIT License

12 stars 4 forks source link

Closed erikmd closed 4 years ago

erikmd commented 4 years ago

erikmd commented 4 years ago

@Zimmi48 this PR looks ready; here is the direct link to the (temporary) branch's README: https://github.com/coq-community/docker-coq-action/tree/update-docs#readme

Zimmi48 commented 4 years ago

Don't you want to take care of merging the PRs yourself when you think they are ready?

erikmd commented 4 years ago

Don't you want to take care of merging the PRs yourself when you think they are ready?

OK @Zimmi48, I can do this tomorrow for instance, when you'll have formally approved the PRs :)

And thanks for your comments!

erikmd commented 4 years ago

Merging that docs PR now