Update codecov/codecov-action action to v5 #735
Annotations
1 error
|
Run rhysd/actionlint:latest:
.github/workflows/formal-verification.yml#L55
the runner of "actions/setup-java@v3" action is too old to run on GitHub Actions. update the action's version to fix this issue
|
Loading