docker-coq-action v1.5.1

Bugfix:

• Bump→actions/checkout@v4 (PR #95 by @erikmd) and actions/upload-artifact@v4 (PR #96 by @erikmd)
• Ensure compatibility with rocq/rocq-prover:dev and rocq/rocq-prover:9.0 from coq_version façade (PR #100 by @erikmd)

Warning

if you use the permissions workaround, you may need to replace sudo chown -R coq:coq . with sudo chown -R 1000:1000 .

Documentation:

• Document PR #90 from release v1.5.0 (PR #93 by @erikmd)

Changelog: v1.5.0...v1.5.1 − Refman: v1.5.1