Update the templates w.r.t. the coq→rocq renaming ?

[erikmd]

At first sight, regarding the Docker-Rocq part:

one would need to add in the docker-action.yml.mustache something like:

{{# tested_rocq_opam_versions }}
          - '{{ repo }}{{^ repo }}rocq/rocq-prover{{/ repo }}:{{ version }}'
{{/ tested_rocq_opam_versions }}

[Zimmi48]

So IIUC, we would have a tested_coq_opam_version and a tested_rocq_opam_version?

[palmskog]

Yes, I think it makes sense to have both, since projects can be compatible with both, e.g., Coq 8.20 and Rocq 9.0.

It's already now possible to add rocq images under the tested_coq_opam_version, but this proposed addition would allow writing things like:

tested_rocq_opam_versions:
- version: '9.0'

which doesn't require knowledge about the exact Docker Hub repo.

[palmskog]

@erikmd feel free to make a PR and we can very likely merge it right away.