CodeQL Security Analysis

codeql.yml

1598 workflow runs

chore(.gitignore): exclude a.out build artifact
completed successfully:
CodeQL Security Analysis#73:Commitad43ad1pushedbyhyperpolymath
main
Apr 11, 202643s
feat(faces): complete faces architecture — docs, audit fixes, enum co…
completed successfully:
CodeQL Security Analysis#72:Commitfd1437fpushedbyhyperpolymath
main
Apr 11, 202643s
feat(face-formatter): ADR-010 face-aware error vocabulary (items 2+3)
completed successfully:
CodeQL Security Analysis#71:Commit8d845bcpushedbyhyperpolymath
main
Apr 11, 202642s
feat(python-face): wire --face to all commands + fix tail-position se…
completed successfully:
CodeQL Security Analysis#70:Commit3dbee21pushedbyhyperpolymath
main
Apr 11, 202640s
fix(.gitignore): unblock bin/*.ml and bin/dune from gitignore
completed successfully:
CodeQL Security Analysis#69:Commitff335d8pushedbyhyperpolymath
main
Apr 11, 202642s
docs(ecosystem): add pipeline position, typed-wasm + nextgen-typing r…
completed successfully:
CodeQL Security Analysis#68:Commit37faf03pushedbyhyperpolymath
main
Apr 11, 202643s
feat(python-face): ADR-010 Priority 2 — Python-style surface syntax
completed successfully:
CodeQL Security Analysis#67:Commit9866727pushedbyhyperpolymath
main
Apr 11, 202642s
chore(state): update STATE.a2ml — ADR-009 conformance 12/12 achieved …
completed successfully:
CodeQL Security Analysis#66:Commit4322963pushedbyhyperpolymath
main
Apr 11, 202638s
fix(parser): ADR-009 conformance — all 12 valid tests now parse (was …
completed successfully:
CodeQL Security Analysis#65:Commit30c931dpushedbyhyperpolymath
main
Apr 11, 202641s
docs: import thesis guides and tropical session types from Desktop st…
completed successfully:
CodeQL Security Analysis#64:Commit1ba5b92pushedbyhyperpolymath
main
Apr 10, 202642s
docs(adr-007): accept hybrid surface syntax + close BUG-001/002/003 i…
completed successfully:
CodeQL Security Analysis#63:Commit4bb6c79pushedbyhyperpolymath
main
Apr 10, 202645s
refactor(manhattan-recovery): scope recovery + complete grammar refac…
completed successfully:
CodeQL Security Analysis#62:Commit78de347pushedbyhyperpolymath
main
Apr 10, 202640s
refactor(manhattan-recovery): scope recovery + complete grammar refactor + rip dependent-type creep
completed successfully:
CodeQL Security Analysis#61:Pull request#19openedbyhyperpolymath
manhattan-alpha-scaffold-v2
Apr 10, 202642s
feat: migrate file extension from .as to .affine for GitHub Linguist …
completed successfully:
CodeQL Security Analysis#60:Commitfec4db0pushedbyhyperpolymath
main
Apr 9, 202649s
feat: migrate file extension from .as to .affine for GitHub Linguist …
completed successfully:
CodeQL Security Analysis#59:Pull request#17openedbyhyperpolymath
claude/explore-repo-language-3QNs5
Apr 9, 20261m 3s
feat: migrate file extension from .as to .affine for GitHub Linguist …
completed successfully:
CodeQL Security Analysis#58:Commit2f425c5pushedbyhyperpolymath
main
Apr 9, 202646s
feat: migrate file extension from .as to .affine for GitHub Linguist …
completed successfully:
CodeQL Security Analysis#57:Pull request#16openedbyhyperpolymath
claude/explore-repo-language-3QNs5
Apr 9, 202649s
ci: Bump actions/configure-pages from 5.0.0 to 6.0.0 (#13)
completed successfully:
CodeQL Security Analysis#56:Commit0df7360pushedbyhyperpolymath
main
Apr 9, 202642s
feat: migrate file extension from .as to .affine for GitHub Linguist …
completed successfully:
CodeQL Security Analysis#55:Commitb33d050pushedbyhyperpolymath
main
Apr 9, 202648s
Rename AffineScript file extension from .as to .affine
completed successfully:
CodeQL Security Analysis#54:Pull request#15openedbyJoshuaJewell
claude/explore-repo-language-3QNs5
Apr 9, 202654s
fix: update remaining .as references in conformance READMEs
completed successfully:
CodeQL Security Analysis#53:Commitff2ba61pushedbyJoshuaJewell
main
Apr 9, 20261m 21s
feat: migrate file extension from .as to .affine for GitHub Linguist …
completed successfully:
CodeQL Security Analysis#52:Commitb5a67acpushedbyJoshuaJewell
main
Apr 9, 202650s
ci: Bump webfactory/ssh-agent from 0.9.1 to 0.10.0 (#12)
completed successfully:
CodeQL Security Analysis#51:Commitbd3a977pushedbyhyperpolymath
main
Apr 9, 20268m 42s
ci: Bump erlef/setup-beam from 1.17.5 to 1.24.0 (#10)
completed successfully:
CodeQL Security Analysis#50:Commit9fe334dpushedbyhyperpolymath
main
Apr 9, 20269m 7s
ci: Bump trufflesecurity/trufflehog from 3.94.1 to 3.94.2 (#11)
completed successfully:
CodeQL Security Analysis#49:Commit2e868a7pushedbyhyperpolymath
main
Apr 9, 20265m 5s

Navigation Menu

CodeQL Security Analysis

1598 workflow runs

chore(.gitignore): exclude a.out build artifact

feat(faces): complete faces architecture — docs, audit fixes, enum co…

feat(face-formatter): ADR-010 face-aware error vocabulary (items 2+3)

feat(python-face): wire --face to all commands + fix tail-position se…

fix(.gitignore): unblock bin/*.ml and bin/dune from gitignore

docs(ecosystem): add pipeline position, typed-wasm + nextgen-typing r…

feat(python-face): ADR-010 Priority 2 — Python-style surface syntax

chore(state): update STATE.a2ml — ADR-009 conformance 12/12 achieved …

fix(parser): ADR-009 conformance — all 12 valid tests now parse (was …

docs: import thesis guides and tropical session types from Desktop st…

docs(adr-007): accept hybrid surface syntax + close BUG-001/002/003 i…

refactor(manhattan-recovery): scope recovery + complete grammar refac…

refactor(manhattan-recovery): scope recovery + complete grammar refactor + rip dependent-type creep

feat: migrate file extension from .as to .affine for GitHub Linguist …

feat: migrate file extension from .as to .affine for GitHub Linguist …

feat: migrate file extension from .as to .affine for GitHub Linguist …

feat: migrate file extension from .as to .affine for GitHub Linguist …

ci: Bump actions/configure-pages from 5.0.0 to 6.0.0 (#13)

feat: migrate file extension from .as to .affine for GitHub Linguist …

Rename AffineScript file extension from .as to .affine

fix: update remaining .as references in conformance READMEs

feat: migrate file extension from .as to .affine for GitHub Linguist …

ci: Bump webfactory/ssh-agent from 0.9.1 to 0.10.0 (#12)

ci: Bump erlef/setup-beam from 1.17.5 to 1.24.0 (#10)

ci: Bump trufflesecurity/trufflehog from 3.94.1 to 3.94.2 (#11)

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

1598 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.