fix: Use actions/upload-artifact@v4 · coq-community/docker-coq-action@126f826 · GitHub

GitHub Actions / shellcheck succeeded Jul 14, 2024 in 1s

reviewdog [shellcheck] report

reported by reviewdog 🐶

Findings (0)

Filtered Findings (0)

View more details on GitHub Actions