CodeQL Security Analysis

codeql.yml

1137 workflow runs

feat(pipeline): wire end-to-end compile pipeline
failed:
CodeQL Security Analysis#62:Commite4c965bpushedbyhyperpolymath
main
Jan 5, 202624s
docs(state): update STATE.scm after branch agreement implementation
failed:
CodeQL Security Analysis#61:Commit60f31d3pushedbyhyperpolymath
main
Jan 4, 202620s
fix(typing): implement branch agreement verification for linear types
failed:
CodeQL Security Analysis#60:Commit2b7ad9epushedbyhyperpolymath
main
Jan 4, 202624s
fix(security): correct CodeQL language and populate SCM files
failed:
CodeQL Security Analysis#59:Commit548971epushedbyhyperpolymath
main
Jan 4, 202635s
fix(security): update editorconfig SHA and CodeQL language
failed:
CodeQL Security Analysis#58:Commit471137apushedbyhyperpolymath
main
Jan 4, 202610m 56s
chore: add RSR enforcement workflows
failed:
CodeQL Security Analysis#57:Commit88f63abpushedbyhyperpolymath
main
Jan 3, 202613m 35s
Standardize repo structure (hyperpolymath/mustfile pattern)
failed:
CodeQL Security Analysis#56:Commit08881aepushedbyhyperpolymath
main
Jan 3, 20261h 40m 38s
Update licensing to MPL-2.0 + Palimpsest
failed:
CodeQL Security Analysis#55:Commitf8f7003pushedbyhyperpolymath
main
Jan 3, 20261h 22m 2s
Fix Palimpsest badge URL (licence → license)
failed:
CodeQL Security Analysis#54:Commitb6f25dbpushedbyhyperpolymath
main
Jan 3, 20261h 26m 27s
Update licensing to MPL-2.0 + Palimpsest
failed:
CodeQL Security Analysis#53:Commit1fe2b72pushedbyhyperpolymath
main
Jan 3, 20268m 23s
Implement scope arrest anchor schema (#16)
failed:
CodeQL Security Analysis#52:Commit922f626pushedbyhyperpolymath
main
Jan 1, 20267s
Implement scope arrest anchor schema
failed:
CodeQL Security Analysis#51:Pull request#16openedbyhyperpolymath
claude/scope-arrest-anchor-oSIc3
Jan 1, 20267s
chore: add security validation pre-commit hooks
failed:
CodeQL Security Analysis#50:Commit9c5a9e4pushedbyhyperpolymath
main
Jan 1, 20262m 6s
chore: update mirror workflow for multi-forge sync
failed:
CodeQL Security Analysis#49:Commit24a49b3pushedbyhyperpolymath
main
Dec 31, 20251h 2m 56s
chore: update mirror workflow for multi-forge sync
failed:
CodeQL Security Analysis#48:Commita2c8c93pushedbyhyperpolymath
main
Dec 31, 20259m 39s
chore: update mirror workflow for multi-forge sync
failed:
CodeQL Security Analysis#47:Commitcc90e1dpushedbyhyperpolymath
main
Dec 31, 20251m 12s
Claude/add academic proofs 1r9 av (#15)
failed:
CodeQL Security Analysis#46:Commitaeb1bb6pushedbyhyperpolymath
main
Dec 31, 20257s
Claude/add academic proofs 1r9 av
failed:
CodeQL Security Analysis#45:Pull request#15synchronizebyhyperpolymath
claude/add-academic-proofs-1r9AV
Dec 31, 20256s
Claude/add academic proofs 1r9 av (#14)
failed:
CodeQL Security Analysis#44:Commit4bde688pushedbyhyperpolymath
main
Dec 31, 20257s
Claude/add academic proofs 1r9 av
failed:
CodeQL Security Analysis#43:Pull request#14synchronizebyhyperpolymath
claude/add-academic-proofs-1r9AV
Dec 31, 202510s
Claude/add academic proofs 1r9 av
failed:
CodeQL Security Analysis#42:Pull request#14openedbyhyperpolymath
claude/add-academic-proofs-1r9AV
Dec 31, 20256s
Claude/add academic proofs 1r9 av (#13)
failed:
CodeQL Security Analysis#41:Commit83f9414pushedbyhyperpolymath
main
Dec 31, 20258s
Claude/add academic proofs 1r9 av
failed:
CodeQL Security Analysis#40:Pull request#13synchronizebyhyperpolymath
claude/add-academic-proofs-1r9AV
Dec 31, 20257s
Claude/add academic proofs 1r9 av
failed:
CodeQL Security Analysis#39:Pull request#13openedbyhyperpolymath
claude/add-academic-proofs-1r9AV
Dec 31, 20256s
Add comprehensive academic proofs and formal verification (#12)
failed:
CodeQL Security Analysis#38:Commit3bc4cf0pushedbyhyperpolymath
main
Dec 31, 20257s

Navigation Menu

CodeQL Security Analysis

1137 workflow runs

feat(pipeline): wire end-to-end compile pipeline

docs(state): update STATE.scm after branch agreement implementation

fix(typing): implement branch agreement verification for linear types

fix(security): correct CodeQL language and populate SCM files

fix(security): update editorconfig SHA and CodeQL language

chore: add RSR enforcement workflows

Standardize repo structure (hyperpolymath/mustfile pattern)

Update licensing to MPL-2.0 + Palimpsest

Fix Palimpsest badge URL (licence → license)

Update licensing to MPL-2.0 + Palimpsest

Implement scope arrest anchor schema (#16)

Implement scope arrest anchor schema

chore: add security validation pre-commit hooks

chore: update mirror workflow for multi-forge sync

chore: update mirror workflow for multi-forge sync

chore: update mirror workflow for multi-forge sync

Claude/add academic proofs 1r9 av (#15)

Claude/add academic proofs 1r9 av

Claude/add academic proofs 1r9 av (#14)

Claude/add academic proofs 1r9 av

Claude/add academic proofs 1r9 av

Claude/add academic proofs 1r9 av (#13)

Claude/add academic proofs 1r9 av

Claude/add academic proofs 1r9 av

Add comprehensive academic proofs and formal verification (#12)

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for CodeQL Security Analysis

1137 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.