Closed JasonGross closed 6 months 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 -v coq-macos | xargs sed -i 's/-artifact@v3/-artifact@v4/g'
Skip MacOS to avoid conflicts with #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/
Skip MacOS to avoid conflicts with #1891