Skip to content

Actions: hyperpolymath/echo-types

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
414 workflow runs
414 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: add Signed commits section to CONTRIBUTING CodeQL Security Analysis #339: Pull request #333 opened by hyperpolymath
20m 22s docs/signing-policy-d218
docs/signing-policy-d218
20m 22s
docs(citation): add the author's ORCID (0000-0002-3078-6652) to citat… CodeQL Security Analysis #338: Commit fe10080 pushed by hyperpolymath
3m 16s main
main
3m 16s
chore: retire the 27 .a2ml records (owner ruling 2026-09-30) (#332) CodeQL Security Analysis #337: Commit ab48b28 pushed by hyperpolymath
51s main
main
51s
chore: retire the 27 .a2ml records (owner ruling 2026-09-30) CodeQL Security Analysis #336: Pull request #332 synchronize by hyperpolymath
45s chore/retire-a2ml-records
chore/retire-a2ml-records
45s
chore: retire the 27 .a2ml records (owner ruling 2026-09-30) CodeQL Security Analysis #335: Pull request #332 opened by hyperpolymath
55s chore/retire-a2ml-records
chore/retire-a2ml-records
55s
fix(agda): resolve the two unsolved metas in EchoHaplotypeCollapsing (#329) CodeQL Security Analysis #334: Pull request #331 opened by hyperpolymath
47s fix/329-haplotype-collapsing-metas
fix/329-haplotype-collapsing-metas
47s
CodeQL Security Analysis CodeQL Security Analysis #333: Scheduled
47s main
main
47s
fix(agda): restore main typecheck — carry the fiber invariant in Fibe… CodeQL Security Analysis #332: Commit 39a7a99 pushed by hyperpolymath
53s main
main
53s
CodeQL Security Analysis CodeQL Security Analysis #331: synchronize by arena-ai-coding-agent Bot
Startup failure arena/01a0e508-echo-types
arena/01a0e508-echo-types
Startup failure
CodeQL Security Analysis CodeQL Security Analysis #330: opened by arena-ai-coding-agent Bot
Startup failure arena/01a0e508-echo-types
arena/01a0e508-echo-types
Startup failure
feat(applications): haplotype collapsing as Echo fiber (#327) CodeQL Security Analysis #329: Commit 1f67753 pushed by hyperpolymath
Startup failure main
main
Startup failure
CodeQL Security Analysis CodeQL Security Analysis #328: opened by hyperpolymath
Startup failure arena/01a0e040-echo-types
arena/01a0e040-echo-types
Startup failure
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the a… CodeQL Security Analysis #327: Commit cd9aa40 pushed by hyperpolymath
-1s main
main
-1s
CodeQL Security Analysis CodeQL Security Analysis #326: opened by dependabot Bot
Startup failure dependabot/github_actions/actions-71fcf20ecc
dependabot/github_actions/actions-71fcf20ecc
Startup failure
proofs(agda): preserve the bit-narrowing exhibits from unpushed commi… CodeQL Security Analysis #325: Commit e6e7ee7 pushed by hyperpolymath
44s main
main
44s
proofs(agda): preserve the bit-narrowing exhibits from unpushed commi… CodeQL Security Analysis #324: Pull request #325 opened by hyperpolymath
51s preserve/bit-narrowing-agda-2026-09-11
preserve/bit-narrowing-agda-2026-09-11
51s
fix(ci): reconcile actions.lock so the lockfile validates (#319) CodeQL Security Analysis #323: Commit 9c4b72b pushed by hyperpolymath
4h 59m 57s main
main
4h 59m 57s
fix(ci): reconcile actions.lock so the lockfile validates CodeQL Security Analysis #322: Pull request #319 opened by hyperpolymath
4h 58m 1s fix/lockfile-reconcile
fix/lockfile-reconcile
4h 58m 1s
CodeQL Security Analysis CodeQL Security Analysis #321: Scheduled
1m 15s main
main
1m 15s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … CodeQL Security Analysis #320: Commit 5f8f65c pushed by hyperpolymath
5m 38s main
main
5m 38s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) CodeQL Security Analysis #319: Pull request #318 opened by hyperpolymath
44s fix/sha-pin-actions
fix/sha-pin-actions
44s
fix(ci): pin third-party actions to full commit SHAs (#317) CodeQL Security Analysis #318: Commit 6f419c6 pushed by hyperpolymath
Startup failure main
main
Startup failure
CodeQL Security Analysis CodeQL Security Analysis #317: opened by hyperpolymath
Startup failure fix/sha-pin-actions
fix/sha-pin-actions
Startup failure
refactor(root): move root artefacts to their canonical locations (#316) CodeQL Security Analysis #316: Commit 56c1c13 pushed by hyperpolymath
1h 3m 38s main
main
1h 3m 38s
refactor(root): move root artefacts to their canonical locations CodeQL Security Analysis #315: Pull request #316 opened by hyperpolymath
1h 3m 48s refactor/root-shape-rollout
refactor/root-shape-rollout
1h 3m 48s