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: drop * wildcard from CODEOWNERS to stop Dependabot review pings CodeQL #31: Pull request #13 opened by hyperpolymath
5m 21s chore/codeowners-drop-wildcard
chore/codeowners-drop-wildcard
5m 21s
ci: bump actions/upload-artifact SHA to current v4 (#12) CodeQL #30: Commit 4236cb7 pushed by hyperpolymath
9h 43m 28s main
main
9h 43m 28s
ci: bump actions/upload-artifact SHA to current v4 CodeQL #29: Pull request #12 opened by hyperpolymath
9h 37m 19s ci/bump-upload-artifact-v4-sha-round2
ci/bump-upload-artifact-v4-sha-round2
9h 37m 19s
ci(secret-scanner): drop duplicate --fail from trufflehog extra_args … CodeQL #28: Commit b382a0b pushed by hyperpolymath
6h 0m 31s main
main
6h 0m 31s
ci(secret-scanner): drop duplicate --fail from trufflehog extra_args CodeQL #27: Pull request #11 opened by hyperpolymath
5h 57m 28s ci/trufflehog-drop-duplicate-fail
ci/trufflehog-drop-duplicate-fail
5h 57m 28s
CodeQL CodeQL #26: Scheduled
6s main
main
6s
chore(deps): bump actions/dependency-review-action in the actions gro… CodeQL #25: Commit 75f2fe4 pushed by hyperpolymath
3m 1s main
main
3m 1s
chore(deps): bump actions/dependency-review-action from 4.9.0 to 5.0.0 in the actions group CodeQL #24: Pull request #10 opened by dependabot Bot
7s dependabot/github_actions/actions-2661ef2cb7
dependabot/github_actions/actions-2661ef2cb7
7s
CodeQL CodeQL #23: Scheduled
1h 50m 14s main
main
1h 50m 14s
ci(antipattern): fix top-level dir matching + benchmarks/lsp/bench fi… CodeQL #22: Commit 51d509f pushed by hyperpolymath
1h 14m 50s main
main
1h 14m 50s
ci(antipattern): fix top-level dir + benchmark/lsp filename matching CodeQL #21: Pull request #9 opened by hyperpolymath
1h 14m 53s ci/antipattern-dynamic-exemptions-v3-1
ci/antipattern-dynamic-exemptions-v3-1
1h 14m 53s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#8) CodeQL #20: Commit d0ed49f pushed by hyperpolymath
14m 3s main
main
14m 3s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table CodeQL #19: Pull request #8 opened by hyperpolymath
13m 54s ci/antipattern-dynamic-exemptions
ci/antipattern-dynamic-exemptions
13m 54s
refactor: server.ts → server.mjs (TS types stripped) (#7) CodeQL #18: Commit 3881d74 pushed by hyperpolymath
1h 6m 52s main
main
1h 6m 52s
refactor: server.ts → server.mjs (TS types stripped) CodeQL #17: Pull request #7 opened by hyperpolymath
1h 6m 53s ci/migrate-server-ts-to-mjs
ci/migrate-server-ts-to-mjs
1h 6m 53s
ci(antipattern): broaden TS allowlist (cli/, mod.ts, lsp-server, *vsc… CodeQL #16: Commit 77ea411 pushed by hyperpolymath
1h 7m 28s main
main
1h 7m 28s
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vscode*, deno-*) CodeQL #15: Pull request #6 opened by hyperpolymath
1h 9m 33s ci/antipattern-allowlist-v2
ci/antipattern-allowlist-v2
1h 9m 33s
ci(antipattern): allowlist legit TS bridge/adapter paths (#5) CodeQL #14: Commit efa280f pushed by hyperpolymath
14m 8s main
main
14m 8s
ci(antipattern): allowlist legit TS bridge/adapter paths CodeQL #13: Pull request #5 opened by hyperpolymath
16m 23s ci/antipattern-allowlist-bridges
ci/antipattern-allowlist-bridges
16m 23s
CodeQL CodeQL #12: Scheduled
6s main
main
6s
chore(deps): bump trufflesecurity/trufflehog in the actions group (#4) CodeQL #11: Commit 002a133 pushed by hyperpolymath
3m 40s main
main
3m 40s
chore(deps): bump trufflesecurity/trufflehog from 3.94.3 to 3.95.2 in the actions group CodeQL #10: Pull request #4 opened by dependabot Bot
8s dependabot/github_actions/actions-d8ef2e9271
dependabot/github_actions/actions-d8ef2e9271
8s
CodeQL CodeQL #9: Scheduled
7s main
main
7s
chore(deps): bump trufflesecurity/trufflehog in the actions group (#3) CodeQL #8: Commit 107e396 pushed by hyperpolymath
5h 4m 31s main
main
5h 4m 31s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… CodeQL #7: Commit a052752 pushed by hyperpolymath
4h 31m 18s main
main
4h 31m 18s