Closed JasonGross closed 1 month ago
Maybe this time it's more stable. The v3 version will be removed in November 2024 according to https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
git grep --name-only -- -artifact@v3 | grep coq-macos | xargs sed -i 's/-artifact@v3/-artifact@v4/g'
On top of #1891
Maybe this time it's more stable. The v3 version will be removed in November 2024 according to https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
On top of #1891