Skip to content

Actions: hyperpolymath/coq-jr

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
88 workflow runs
88 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(ci): sync hypatia-scan.yml to canonical (kill cd-scanner build dr… Code Quality #88: Commit 4ce75f4 pushed by hyperpolymath
20h 12m 6s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
20h 12m 6s
chore(CODEOWNERS): drop /.github/workflows/ line (Refs standards#55) … Code Quality #87: Commit 3b48330 pushed by hyperpolymath
3m 10s main
main
3m 10s
chore(CODEOWNERS): drop /.github/workflows/ line (Refs standards#55) Code Quality #86: Pull request #22 opened by hyperpolymath
59s claude/codeowners-drop-workflows-55
claude/codeowners-drop-workflows-55
59s
chore(CODEOWNERS): drop /.github/workflows/ line (Refs standards#55) Code Quality #85: Commit 1215c84 pushed by hyperpolymath
48s claude/codeowners-drop-workflows-55
claude/codeowners-drop-workflows-55
48s
chore(deps): bump the actions group with 3 updates (#21) Code Quality #84: Commit aa1cf08 pushed by hyperpolymath
17s main
main
17s
chore(deps): bump the actions group with 3 updates Code Quality #83: Pull request #21 opened by dependabot Bot
13s dependabot/github_actions/actions-c45cf09d53
dependabot/github_actions/actions-c45cf09d53
13s
chore(deps): bump the actions group with 3 updates Code Quality #82: Commit 93ea51e pushed by dependabot Bot
15s dependabot/github_actions/actions-c45cf09d53
dependabot/github_actions/actions-c45cf09d53
15s
fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + … Code Quality #81: Commit 0c1f637 pushed by hyperpolymath
2h 16m 25s main
main
2h 16m 25s
fix(ci): adopt canonical hypatia-scan.yml Code Quality #80: Pull request #20 opened by hyperpolymath
2h 21m 59s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
2h 21m 59s
fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + … Code Quality #79: Commit 02a5a70 pushed by hyperpolymath
2h 15m 40s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
2h 15m 40s
fix(codeql): switch language matrix to 'actions' (no JS/TS in repo) (… Code Quality #78: Commit eaa49b1 pushed by hyperpolymath
2h 14m 53s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
2h 14m 53s
fix(codeql): switch language matrix to 'actions' (no JS/TS in repo) (… Code Quality #77: Commit eaa49b1 pushed by hyperpolymath
6h 55m 44s main
main
6h 55m 44s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#… Code Quality #76: Commit d955282 pushed by hyperpolymath
7h 0m 47s main
main
7h 0m 47s
fix(ci): repair corrupted rsr-antipattern.yml from #17 (#18) Code Quality #75: Commit 30f669a pushed by hyperpolymath
6h 1m 51s main
main
6h 1m 51s
fix(ci): move secret-scanner Cargo.toml gate from job-level if: to st… Code Quality #74: Commit 5905f00 pushed by hyperpolymath
5h 13m 6s main
main
5h 13m 6s
fix(ci): move secret-scanner Cargo.toml gate from job-level if: to step-level Code Quality #73: Pull request #19 opened by hyperpolymath
5h 3m 40s fix/secret-scanner-job-level-hashfiles
fix/secret-scanner-job-level-hashfiles
5h 3m 40s
fix(ci): move secret-scanner Cargo.toml gate from job-level if: to st… Code Quality #72: Commit ecaa1f1 pushed by hyperpolymath
5h 4m 50s fix/secret-scanner-job-level-hashfiles
fix/secret-scanner-job-level-hashfiles
5h 4m 50s
fix(ci): repair corrupted rsr-antipattern.yml from #17 Code Quality #71: Pull request #18 opened by hyperpolymath
3h 19m 11s fix/rsr-antipattern-corruption-2026-05-14
fix/rsr-antipattern-corruption-2026-05-14
3h 19m 11s
fix(ci): repair corrupted rsr-antipattern.yml from #17 Code Quality #70: Commit 4a6f6b5 pushed by hyperpolymath
3h 15m 5s fix/rsr-antipattern-corruption-2026-05-14
fix/rsr-antipattern-corruption-2026-05-14
3h 15m 5s
Update README.adoc Code Quality #69: Commit 93df824 pushed by hyperpolymath
1h 27m 52s main
main
1h 27m 52s
Update README.adoc Code Quality #68: Commit 35ee3a4 pushed by hyperpolymath
1h 28m 20s main
main
1h 28m 20s
fix(ci): rsr-antipattern.yml duplicate heredoc (#17) Code Quality #67: Commit 6028592 pushed by hyperpolymath
1h 29m 49s main
main
1h 29m 49s
chore(codeowners): drop wildcard to stop Dependabot review pings (#13) Code Quality #66: Commit c66b7da pushed by hyperpolymath
1h 37m 20s main
main
1h 37m 20s
fix(ci): migrate dependency-review from deny-licenses to allow-licens… Code Quality #65: Commit 19070b2 pushed by hyperpolymath
48m 5s main
main
48m 5s
fix(ci): migrate dependency-review from deny-licenses to allow-licenses Code Quality #64: Pull request #16 opened by hyperpolymath
35m 57s fix/dependency-review-deny-licenses-deprecation
fix/dependency-review-deny-licenses-deprecation
35m 57s