Skip to content

Actions: hyperpolymath/coq-jr

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
156 workflow runs
156 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
chore(ci): replace per-repo governance copies with shared bundle wrapper CodeQL #56: Commit d67150b pushed by hyperpolymath
10h 8m 41s main
main
10h 8m 41s
chore(CODEOWNERS): drop /.github/workflows/ line (Refs standards#55) … CodeQL #55: Commit 3b48330 pushed by hyperpolymath
1m 49s main
main
1m 49s
chore(CODEOWNERS): drop /.github/workflows/ line (Refs standards#55) CodeQL #54: Pull request #22 opened by hyperpolymath
39s claude/codeowners-drop-workflows-55
claude/codeowners-drop-workflows-55
39s
chore(deps): bump the actions group with 3 updates (#21) CodeQL #53: Commit aa1cf08 pushed by hyperpolymath
5s main
main
5s
chore(deps): bump the actions group with 3 updates CodeQL #52: Pull request #21 opened by dependabot Bot
12s dependabot/github_actions/actions-c45cf09d53
dependabot/github_actions/actions-c45cf09d53
12s
fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + … CodeQL #51: Commit 0c1f637 pushed by hyperpolymath
2h 16m 10s main
main
2h 16m 10s
fix(ci): adopt canonical hypatia-scan.yml CodeQL #50: Pull request #20 opened by hyperpolymath
2h 16m 3s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
2h 16m 3s
fix(codeql): switch language matrix to 'actions' (no JS/TS in repo) (… CodeQL #49: Commit eaa49b1 pushed by hyperpolymath
7h 0m 6s main
main
7h 0m 6s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#… CodeQL #48: Commit d955282 pushed by hyperpolymath
6h 59m 39s main
main
6h 59m 39s
fix(ci): repair corrupted rsr-antipattern.yml from #17 (#18) CodeQL #47: Commit 30f669a pushed by hyperpolymath
5h 59m 25s main
main
5h 59m 25s
fix(ci): move secret-scanner Cargo.toml gate from job-level if: to st… CodeQL #46: Commit 5905f00 pushed by hyperpolymath
5h 15m 51s main
main
5h 15m 51s
fix(ci): move secret-scanner Cargo.toml gate from job-level if: to step-level CodeQL #45: Pull request #19 opened by hyperpolymath
4h 57m 12s fix/secret-scanner-job-level-hashfiles
fix/secret-scanner-job-level-hashfiles
4h 57m 12s
fix(ci): repair corrupted rsr-antipattern.yml from #17 CodeQL #44: Pull request #18 opened by hyperpolymath
3h 31m 0s fix/rsr-antipattern-corruption-2026-05-14
fix/rsr-antipattern-corruption-2026-05-14
3h 31m 0s
Update README.adoc CodeQL #43: Commit 93df824 pushed by hyperpolymath
1h 28m 24s main
main
1h 28m 24s
Update README.adoc CodeQL #42: Commit 35ee3a4 pushed by hyperpolymath
1h 28m 48s main
main
1h 28m 48s
fix(ci): rsr-antipattern.yml duplicate heredoc (#17) CodeQL #41: Commit 6028592 pushed by hyperpolymath
1h 30m 17s main
main
1h 30m 17s
chore(codeowners): drop wildcard to stop Dependabot review pings (#13) CodeQL #40: Commit c66b7da pushed by hyperpolymath
1h 43m 33s main
main
1h 43m 33s
fix(ci): migrate dependency-review from deny-licenses to allow-licens… CodeQL #39: Commit 19070b2 pushed by hyperpolymath
46m 27s main
main
46m 27s
fix(ci): migrate dependency-review from deny-licenses to allow-licenses CodeQL #38: Pull request #16 opened by hyperpolymath
45m 57s fix/dependency-review-deny-licenses-deprecation
fix/dependency-review-deny-licenses-deprecation
45m 57s
fix(ci): rsr-antipattern.yml duplicate heredoc CodeQL #37: Pull request #17 opened by hyperpolymath
47m 21s fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
47m 21s
fix(codeql): switch language matrix to 'actions' (no JS/TS in repo) CodeQL #36: Pull request #15 opened by hyperpolymath
9m 53s fix/codeql-actions-language
fix/codeql-actions-language
9m 53s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237 CodeQL #35: Pull request #14 synchronize by hyperpolymath
12m 8s ci/adopt-hardened-hypatia-scan-workflow
ci/adopt-hardened-hypatia-scan-workflow
12m 8s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237 CodeQL #34: Pull request #14 synchronize by hyperpolymath
5m 7s ci/adopt-hardened-hypatia-scan-workflow
ci/adopt-hardened-hypatia-scan-workflow
5m 7s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237 CodeQL #33: Pull request #14 opened by hyperpolymath
3m 29s ci/adopt-hardened-hypatia-scan-workflow
ci/adopt-hardened-hypatia-scan-workflow
3m 29s
chore: drop * wildcard from CODEOWNERS to stop Dependabot review pings CodeQL #32: Pull request #13 reopened by hyperpolymath
1m 57s chore/codeowners-drop-wildcard
chore/codeowners-drop-wildcard
1m 57s