search

coq-community / templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
The Unlicense
13 stars 8 forks source link

Docker Action: checkout v4 #125

Open liyishuai opened 8 months ago

liyishuai commented 8 months ago

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

liyishuai commented 8 months ago

Tested in https://github.com/coq-community/coq-ext-lib/commit/5b8f2341473e44b4451d49485a6c59e1c7b014d4 I'm not authorized to merge. Please proceed.