Skip to content

Actions: metadatastician/enaction-engine

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
117 workflow runs
117 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
chore(deps): bump five actions and follow the bump in actions.lock (#70) CodeQL Security Analysis #117: Commit 638f03a pushed by hyperpolymath
3m 3s main
main
3m 3s
build(deps): Bump the actions group across 1 directory with 5 updates CodeQL Security Analysis #116: Pull request #70 synchronize by hyperpolymath
2m 46s dependabot/github_actions/actions-6966013e0e
dependabot/github_actions/actions-6966013e0e
2m 46s
CodeQL Security Analysis CodeQL Security Analysis #115: opened by dependabot Bot
Startup failure dependabot/github_actions/actions-6966013e0e
dependabot/github_actions/actions-6966013e0e
Startup failure
fix: Hypatia annotations read "null" on an unanchorable absolute path… CodeQL Security Analysis #114: Commit 9dce980 pushed by hyperpolymath
2m 50s main
main
2m 50s
fix: Hypatia annotations read "null" on an unanchorable absolute path CodeQL Security Analysis #113: Pull request #69 opened by hyperpolymath
2m 33s fix/hypatia-annotations
fix/hypatia-annotations
2m 33s
CodeQL Security Analysis CodeQL Security Analysis #112: synchronize by dependabot Bot
Startup failure dependabot/github_actions/actions-790eef9b81
dependabot/github_actions/actions-790eef9b81
Startup failure
fix: the Hypatia gate could never fire — 2>&1 made it unconditionally… CodeQL Security Analysis #111: Commit e4f3ea9 pushed by hyperpolymath
3m 4s main
main
3m 4s
fix: the Hypatia gate could never fire — 2>&1 made it unconditionally vacuous CodeQL Security Analysis #110: Pull request #68 opened by hyperpolymath
2m 37s fix/hypatia-vacuous-gate
fix/hypatia-vacuous-gate
2m 37s
CodeQL Security Analysis CodeQL Security Analysis #109: opened by dependabot Bot
Startup failure dependabot/github_actions/actions-790eef9b81
dependabot/github_actions/actions-790eef9b81
Startup failure
CodeQL Security Analysis CodeQL Security Analysis #108: Scheduled
2m 52s main
main
2m 52s
fix: verify downloaded installer artifacts (#66) CodeQL Security Analysis #107: Commit 3197617 pushed by hyperpolymath
2m 30s main
main
2m 30s
fix: verify downloaded installer artifacts CodeQL Security Analysis #106: Pull request #66 synchronize by hyperpolymath
2m 15s fix/verified-supply-chain-installers-2026-08-30
fix/verified-supply-chain-installers-2026-08-30
2m 15s
fix: verify downloaded installer artifacts CodeQL Security Analysis #105: Pull request #66 opened by hyperpolymath
2m 42s fix/verified-supply-chain-installers-2026-08-30
fix/verified-supply-chain-installers-2026-08-30
2m 42s
fix(ci): tighten workflow security boundaries (#64) CodeQL Security Analysis #104: Commit cc1c0ab pushed by github-merge-queue Bot
Startup failure main
main
Startup failure
CodeQL Security Analysis CodeQL Security Analysis #103: Merge group checks requested
2m 33s
2m 33s
fix(ci): tighten workflow security boundaries CodeQL Security Analysis #102: Pull request #64 opened by hyperpolymath
2m 34s fix/sonar-security-remediation-2026-08-30
fix/sonar-security-remediation-2026-08-30
2m 34s
chore: bump standards workflow pins CodeQL Security Analysis #101: Commit c480406 pushed by hyperpolymath
2m 13s main
main
2m 13s
proof(creusot): verify CAC contract compatibility CodeQL Security Analysis #100: Commit 2ec9f63 pushed by hyperpolymath
2m 21s main
main
2m 21s
proof(creusot): verify CAC contract compatibility CodeQL Security Analysis #99: Pull request #62 synchronize by hyperpolymath
3m 7s proof/contracts-version-creusot
proof/contracts-version-creusot
3m 7s
docs(adr): bound future BEAM integration to SNIF CodeQL Security Analysis #98: Pull request #60 synchronize by hyperpolymath
3m 8s docs/snif-boundary-adr
docs/snif-boundary-adr
3m 8s
fix(abi): enforce 64-bit accelerator target CodeQL Security Analysis #97: Pull request #59 synchronize by hyperpolymath
2m 59s fix/accelerator-64-bit-abi
fix/accelerator-64-bit-abi
2m 59s
proof(idris2): specify buffer pointer validity CodeQL Security Analysis #96: Pull request #57 synchronize by hyperpolymath
2m 14s proof/idris-buffer-pointer-policy
proof/idris-buffer-pointer-policy
2m 14s
proof(idris2): prove accelerator field bounds CodeQL Security Analysis #95: Pull request #58 synchronize by hyperpolymath
2m 54s proof/idris-layout-bounds
proof/idris-layout-bounds
2m 54s
proof(rust): verify accelerator version compatibility CodeQL Security Analysis #94: Pull request #56 synchronize by hyperpolymath
2m 42s feat/rust-creusot-contract
feat/rust-creusot-contract
2m 42s
proof(idris2): prove operation-code injectivity CodeQL Security Analysis #93: Pull request #55 synchronize by hyperpolymath
2m 16s feat/idris-operation-uniqueness
feat/idris-operation-uniqueness
2m 16s