Skip to content

Actions: hyperpolymath/proven

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
864 workflow runs
864 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: restore the Idris2 0.8 package build (#226) CodeQL Security Analysis #864: Commit 91d353a pushed by arena-ai-coding-agent Bot
Startup failure main
main
Startup failure
CodeQL Security Analysis CodeQL Security Analysis #863: opened by arena-ai-coding-agent Bot
Startup failure arena/01a0df48-proven
arena/01a0df48-proven
Startup failure
fix(gates): gate on the DEED grammar, per the template and standards#… CodeQL Security Analysis #862: Commit c725099 pushed by hyperpolymath
3h 34m 31s main
main
3h 34m 31s
fix(gates): gate on the DEED grammar, per the template and standards#837 CodeQL Security Analysis #861: Pull request #225 opened by hyperpolymath
3h 31m 11s fix/deed-gate-grammar
fix/deed-gate-grammar
3h 31m 11s
fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam… CodeQL Security Analysis #860: Commit 0413242 pushed by hyperpolymath
41m 43s main
main
41m 43s
fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era naming CodeQL Security Analysis #859: Pull request #224 opened by hyperpolymath
2h 32m 29s fix/deed-gate-a2ml-retire
fix/deed-gate-a2ml-retire
2h 32m 29s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… CodeQL Security Analysis #858: Commit c8db3a1 pushed by hyperpolymath
1h 32m 18s main
main
1h 32m 18s
ci(hypatia): standardise the wrapper caller id to the canonical hypatia CodeQL Security Analysis #857: Pull request #223 opened by hyperpolymath
42m 54s fix/hypatia-caller-id
fix/hypatia-caller-id
42m 54s
chore(governance): stop declaring repository identity in settings.yml… CodeQL Security Analysis #856: Commit bdee8cc pushed by hyperpolymath
16m 13s main
main
16m 13s
chore(governance): stop declaring repository identity in settings.yml CodeQL Security Analysis #855: Pull request #222 opened by hyperpolymath
11m 34s chore/settings-no-identity
chore/settings-no-identity
11m 34s
fix(docs): repoint references to the relocated contributing guide (#221) CodeQL Security Analysis #854: Commit 867bd6a pushed by hyperpolymath
3m 52s main
main
3m 52s
fix(docs): repoint references to the relocated contributing guide CodeQL Security Analysis #853: Pull request #221 opened by hyperpolymath
2h 9m 30s refactor/contributing-guide-link-repair
refactor/contributing-guide-link-repair
2h 9m 30s
refactor(root): relocate the contributing guide into .github/ (#220) CodeQL Security Analysis #852: Commit a1de1b8 pushed by hyperpolymath
2h 11m 28s main
main
2h 11m 28s
refactor(root): relocate the contributing guide into .github/ CodeQL Security Analysis #851: Pull request #220 opened by hyperpolymath
2h 11m 23s refactor/contributing-guide-relocation
refactor/contributing-guide-relocation
2h 11m 23s
chore(www): migrate root .well-known/ to www/.well-known/ (#219) CodeQL Security Analysis #850: Commit 3d11731 pushed by hyperpolymath
2h 6m 57s main
main
2h 6m 57s
chore(www): migrate root .well-known/ to www/.well-known/ CodeQL Security Analysis #849: Pull request #219 opened by hyperpolymath
2h 7m 4s chore/well-known-to-www
chore/well-known-to-www
2h 7m 4s
Fix/idris2 totality and elaboration cures (#217) CodeQL Security Analysis #848: Commit a92d237 pushed by hyperpolymath
1m 7s main
main
1m 7s
Fix/idris2 totality and elaboration cures CodeQL Security Analysis #847: Pull request #217 synchronize by hyperpolymath
1m 5s fix/idris2-totality-and-elaboration-cures
fix/idris2-totality-and-elaboration-cures
1m 5s
fix(ci): repair unparseable permissions scalar (2 workflow file(s)) (… CodeQL Security Analysis #846: Commit b30bdbf pushed by hyperpolymath
1m 4s main
main
1m 4s
fix(ci): repair unparseable permissions scalar (2 workflow file(s)) CodeQL Security Analysis #845: Pull request #218 opened by hyperpolymath
1m 53s fix/workflow-permissions-scalar-parse-error
fix/workflow-permissions-scalar-parse-error
1m 53s
fix(idris2): cure seven build blockers — build goes VOID → RED, front… CodeQL Security Analysis #844: Commit 3b118cb pushed by hyperpolymath
1m 18s main
main
1m 18s
fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305 CodeQL Security Analysis #843: Pull request #206 synchronize by hyperpolymath
1m 40s fix/idris2-build-blockers
fix/idris2-build-blockers
1m 40s
chore(dependabot): cap open pull requests per update block (#216) CodeQL Security Analysis #842: Commit b6bd74e pushed by hyperpolymath
1m 11s main
main
1m 11s
chore(dependabot): cap open pull requests per update block CodeQL Security Analysis #841: Pull request #216 opened by hyperpolymath
1m 2s chore/dependabot-pr-caps-2026-09-08
chore/dependabot-pr-caps-2026-09-08
1m 2s
fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305 CodeQL Security Analysis #840: Pull request #206 synchronize by coderabbitai Bot
1m 17s fix/idris2-build-blockers
fix/idris2-build-blockers
1m 17s