@Erik Martin-Dorel I keep seeing messages like this in the log when using Docker-Coq-Action with Coq 8.14 and lower:
Node.js 12 actions are deprecated. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/. Please update the following actions to use Node.js 16: actions/checkout, actions/checkout
Do you know what this is about? Should I open an issue somewhere?
@Karl Palmskog Do you have a link to the problematic runs?
@Théo Zimmermann see "Annotations" here for example: https://github.com/uwplse/StructTact/actions/runs/3459901889
This example also includes warnings for Coq > 8.14, which is not surprising given that this does not look very specific to a Coq version, or even to Docker-Coq-Action.
OK, so I guess it's independent of Coq version. But for some examples I looked at, it was restricted to some Coq versions
It looks like we need to update to
And indeed, we are also getting these warnings here https://github.com/coq/coq/actions/runs/3461634646 (no use of Docker-Coq-Action, but of
wait, so this is a change we need to do in
docker-action.yml for all projects that use Docker-Coq-Action?
Hi @Karl Palmskog !
Should I open an issue somewhere?
Both are fine :)
Thanks for the ping, Karl!
If we confirm that the culprit is the checkout@v2, then it is actually not a docker-coq-action issue, but a coq-community-templates one (?)
@Erik Martin-Dorel OK, I'll wait for your comments, but I think we have to update documentation as well if it's checkout@v2? For example: https://github.com/erikmd/docker-coq-github-action-demo/blob/master/.github/workflows/build-coq-demo.yml
Ah indeed, good point !-)
Yes, we only need to fix the documentation and the templates. IMHO no need to wait for Erik's investigation. My example from the Coq repository clearly shows this has nothing to do with Docker-Coq-Action.
Last updated: Jun 06 2023 at 23:01 UTC