Skip to content

Actions: hyperpolymath/standards

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,488 workflow runs
1,488 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
CodeQL Security Analysis CodeQL Security Analysis #1238: opened by hyperpolymath
Startup failure lockfile-enforcement-reusables
lockfile-enforcement-reusables
Startup failure
A2ML: dialect architecture + the manifest-dialect spec (59% of the corpus) CodeQL Security Analysis #1237: Pull request #569 opened by hyperpolymath
1m 2s docs/a2ml-dialect-architecture
docs/a2ml-dialect-architecture
1m 2s
chore(deps): bump the actions group with 4 updates (#568) CodeQL Security Analysis #1236: Commit d45c65c pushed by hyperpolymath
1m 33s main
main
1m 33s
chore(deps): bump the actions group with 4 updates CodeQL Security Analysis #1235: Pull request #568 opened by dependabot Bot
54s dependabot/github_actions/actions-ff85bdb520
dependabot/github_actions/actions-ff85bdb520
54s
fix(a2ml): normative Idris2 core now type-checks (10/10 modules) (#567) CodeQL Security Analysis #1234: Commit 0265b62 pushed by hyperpolymath
6m 24s main
main
6m 24s
fix(a2ml): normative Idris2 core now type-checks (10/10 modules) CodeQL Security Analysis #1233: Pull request #567 opened by hyperpolymath
1m 43s fix/a2ml-core-typechecks-and-gate
fix/a2ml-core-typechecks-and-gate
1m 43s
CodeQL Security Analysis CodeQL Security Analysis #1232: Scheduled
1m 38s main
main
1m 38s
docs(policy): retiring a flake means its references too (#566) CodeQL Security Analysis #1231: Commit a6f567f pushed by hyperpolymath
2m 40s main
main
2m 40s
docs(policy): retiring a flake means its references too CodeQL Security Analysis #1230: Pull request #566 opened by hyperpolymath
59s worktree-nix-references-clause
worktree-nix-references-clause
59s
docs: stop describing two deleted CI workflows as live (#565) CodeQL Security Analysis #1229: Commit 56c2e5c pushed by hyperpolymath
2m 34s main
main
2m 34s
docs: stop describing two deleted CI workflows as live CodeQL Security Analysis #1228: Pull request #565 opened by hyperpolymath
1m 20s docs/retire-blocker-workflow-references
docs/retire-blocker-workflow-references
1m 20s
docs(testing): tests and benches must be drawn from proven-tests-and-… CodeQL Security Analysis #1227: Commit 2babf41 pushed by hyperpolymath
1m 29s main
main
1m 29s
docs(testing): tests and benches must be drawn from proven-tests-and-benches first CodeQL Security Analysis #1226: Pull request #564 opened by hyperpolymath
1m 1s docs/tests-drawn-from-proven-suite
docs/tests-drawn-from-proven-suite
1m 1s
docs: add LANGUAGE-POLICY.adoc — the authority three gates already ci… CodeQL Security Analysis #1225: Commit 5973f6c pushed by hyperpolymath
16m 47s main
main
16m 47s
docs: add LANGUAGE-POLICY.adoc — the authority three gates already cite CodeQL Security Analysis #1224: Pull request #563 opened by hyperpolymath
16m 52s docs/language-policy
docs/language-policy
16m 52s
fix(a2ml): correct peek/char, and make the ipkg header state the trut… CodeQL Security Analysis #1223: Commit 3b65e7b pushed by hyperpolymath
2m 13s main
main
2m 13s
fix(a2ml): correct peek/char, and make the ipkg header state the truth CodeQL Security Analysis #1222: Pull request #562 synchronize by hyperpolymath
2m 15s fix/a2ml-parser-charat-and-honest-ipkg
fix/a2ml-parser-charat-and-honest-ipkg
2m 15s
fix(guix): restore MPL-2.0 (squisher clobber downgraded it to PMPL) (… CodeQL Security Analysis #1221: Commit a17b552 pushed by hyperpolymath
2m 52s main
main
2m 52s
fix(guix): restore MPL-2.0 (squisher clobber downgraded it to PMPL) CodeQL Security Analysis #1220: Pull request #561 opened by hyperpolymath
3m 22s fix/guix-licence-restore-mpl
fix/guix-licence-restore-mpl
3m 22s
fix(guix): restore standards identity in guix.scm CodeQL Security Analysis #1219: Commit 3f53d3e pushed by hyperpolymath
1m 37s main
main
1m 37s
fix(ci): clear five startup_failures caused by reusable permission es… CodeQL Security Analysis #1218: Commit 38c8f73 pushed by hyperpolymath
1m 31s main
main
1m 31s
fix(ci): clear five startup_failures caused by reusable permission escalation CodeQL Security Analysis #1217: Pull request #560 synchronize by hyperpolymath
2m 1s fix/reusable-perm-escalation
fix/reusable-perm-escalation
2m 1s
fix(ci): clear five startup_failures caused by reusable permission escalation CodeQL Security Analysis #1216: Pull request #560 synchronize by hyperpolymath
5m 42s fix/reusable-perm-escalation
fix/reusable-perm-escalation
5m 42s
fix(ci): clear five startup_failures caused by reusable permission escalation CodeQL Security Analysis #1215: Pull request #560 synchronize by hyperpolymath
2m 37s fix/reusable-perm-escalation
fix/reusable-perm-escalation
2m 37s
fix(ci): clear five startup_failures caused by reusable permission escalation CodeQL Security Analysis #1214: Pull request #560 synchronize by hyperpolymath
1m 29s fix/reusable-perm-escalation
fix/reusable-perm-escalation
1m 29s
ProTip! You can narrow down the results and go further in time using created:<2026-07-28 or the other filters available.