Skip to content
reviewdog

feat: Use rocq/rocq-prover namespace if need be #238

Sign in to view logs

feat: Use rocq/rocq-prover namespace if need be

feat: Use rocq/rocq-prover namespace if need be #238

Run time

Learn about OS pricing on GitHub Actions
Job Run time
runner / shellcheck
6s
6s