Skip to content

Actions: hyperpolymath/proven

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
877 workflow runs
877 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
docs: mark AFFIRMATION as agent-authored DRAFT, not owner-affirmed (#… CodeQL Security Analysis #877: Commit a7503b2 pushed by hyperpolymath
2m 26s main
main
2m 26s
docs: mark AFFIRMATION as agent-authored DRAFT, not owner-affirmed CodeQL Security Analysis #876: Pull request #233 opened by hyperpolymath
58s docs/affirmation-mark-draft
docs/affirmation-mark-draft
58s
docs: add AFFIRMATION.adoc anchored at 53600326 (#232) CodeQL Security Analysis #875: Commit 6071d0b pushed by hyperpolymath
1m 13s main
main
1m 13s
docs: add AFFIRMATION.adoc anchored at 53600326 CodeQL Security Analysis #874: Pull request #232 opened by hyperpolymath
1m 1s docs/affirmation-2026-10-07
docs/affirmation-2026-10-07
1m 1s
chore(secrets): ignore three gitleaks test-fixture false positives (#… CodeQL Security Analysis #873: Commit 5360032 pushed by hyperpolymath
1m 11s main
main
1m 11s
chore(secrets): ignore three gitleaks test-fixture false positives CodeQL Security Analysis #872: Pull request #231 opened by hyperpolymath
1m 36s fix/gitleaks-fixture-ignores
fix/gitleaks-fixture-ignores
1m 36s
fix(SafeFiniteField): reject irreducibles not of degree n before redu… CodeQL Security Analysis #871: Commit a32c3b6 pushed by hyperpolymath
1m 36s main
main
1m 36s
fix(SafeFiniteField): reject irreducibles not of degree n before reduction CodeQL Security Analysis #870: Pull request #229 opened by hyperpolymath
49s fix/finite-field-irr-degree
fix/finite-field-irr-degree
49s
fix(soundness): remove false postulates in SafeFiniteField, SafePipe,… CodeQL Security Analysis #869: Commit ced0ca5 pushed by hyperpolymath
2m 5s main
main
2m 5s
fix(soundness): remove false postulates in SafeFiniteField, SafePipe, SafeTerminal CodeQL Security Analysis #868: Pull request #228 opened by hyperpolymath
1m 10s fix/remove-false-runtime-assumptions
fix/remove-false-runtime-assumptions
1m 10s
docs: add Signed commits section to CONTRIBUTING (#227) CodeQL Security Analysis #867: Commit 8542e84 pushed by hyperpolymath
12m 16s main
main
12m 16s
docs: add Signed commits section to CONTRIBUTING CodeQL Security Analysis #866: Pull request #227 opened by hyperpolymath
1m 3s docs/signing-policy-d218
docs/signing-policy-d218
1m 3s
CodeQL Security Analysis CodeQL Security Analysis #865: Scheduled
22m 45s main
main
22m 45s
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