Skip to content

Actions: hyperpolymath/haec

Actions

🟡 Check: CodeQL security analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
79 workflow runs
79 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
fix(ci): Bun-first runtime policy; retire two gates that enforced the… 🟡 Check: CodeQL security analysis #79: Commit f3ac0fe pushed by hyperpolymath
19m 35s main
main
19m 35s
fix(ci): Bun-first runtime policy; retire two gates that enforced the opposite 🟡 Check: CodeQL security analysis #78: Pull request #35 opened by hyperpolymath
15m 50s fix/runtime-policy-bun-first
fix/runtime-policy-bun-first
15m 50s
fix(ci): actually run the verdict round-trip against the reference ch… 🟡 Check: CodeQL security analysis #77: Commit 90260f4 pushed by hyperpolymath
53s main
main
53s
fix(ci): actually run the verdict round-trip against the reference checker 🟡 Check: CodeQL security analysis #76: Pull request #34 opened by hyperpolymath
48s fix/real-verdict-round-trip
fix/real-verdict-round-trip
48s
chore: remove obsolete/corrupted check-no-vlang.sh gate (#33) 🟡 Check: CodeQL security analysis #75: Commit e765e0f pushed by hyperpolymath
47s main
main
47s
chore: remove obsolete/corrupted check-no-vlang.sh gate 🟡 Check: CodeQL security analysis #74: Pull request #33 opened by hyperpolymath
1m 57s chore/remove-obsolete-vlang-check
chore/remove-obsolete-vlang-check
1m 57s
fix(ci): install jq in the container so the Trope IR test actually ru… 🟡 Check: CodeQL security analysis #73: Commit 481e11b pushed by hyperpolymath
11m 34s main
main
11m 34s
fix(ci): install jq in the container so the Trope IR test actually runs 🟡 Check: CodeQL security analysis #72: Pull request #32 opened by hyperpolymath
11m 4s fix/ci-container-prereqs
fix/ci-container-prereqs
11m 4s
fix(ci): align the Idris2 version assert with the pinned image (0.8.0… 🟡 Check: CodeQL security analysis #71: Commit d29f89e pushed by hyperpolymath
1m 5s main
main
1m 5s
fix(ci): align the Idris2 version assert with the pinned image (0.8.0) 🟡 Check: CodeQL security analysis #70: Pull request #31 opened by hyperpolymath
1m 0s fix/idris2-version-0-8-0
fix/idris2-version-0-8-0
1m 0s
fix(ci): make the toolchain version asserts diagnosable (#30) 🟡 Check: CodeQL security analysis #69: Commit cbcee72 pushed by hyperpolymath
40s main
main
40s
fix(ci): make the toolchain version asserts diagnosable 🟡 Check: CodeQL security analysis #68: Pull request #30 opened by hyperpolymath
1m 0s fix/toolchain-version-asserts
fix/toolchain-version-asserts
1m 0s
fix(ci): resolve the four standing CI/CD failures at their roots (#29) 🟡 Check: CodeQL security analysis #67: Commit e0fae51 pushed by hyperpolymath
1m 9s main
main
1m 9s
fix(ci): resolve the four standing CI/CD failures at their roots 🟡 Check: CodeQL security analysis #66: Pull request #29 synchronize by hyperpolymath
45s fix/cicd-foundations
fix/cicd-foundations
45s
fix(ci): resolve the four standing CI/CD failures at their roots 🟡 Check: CodeQL security analysis #65: Pull request #29 opened by hyperpolymath
1m 28s fix/cicd-foundations
fix/cicd-foundations
1m 28s
fix(ci): unblock the now-honest static-analysis gate and the Idris2 C… 🟡 Check: CodeQL security analysis #64: Commit 56e207e pushed by hyperpolymath
2m 8s main
main
2m 8s
fix(ci): unblock the now-honest static-analysis gate and the Idris2 CI job 🟡 Check: CodeQL security analysis #63: Pull request #28 opened by hyperpolymath
56s fix/post-27-gate-and-zig
fix/post-27-gate-and-zig
56s
ci: consolidate Haec gates, repair K9 envelopes and FFI validation (#27) 🟡 Check: CodeQL security analysis #62: Commit 3ffd80e pushed by hyperpolymath
48s main
main
48s
ci: consolidate Haec gates, repair K9 envelopes and FFI validation 🟡 Check: CodeQL security analysis #61: Pull request #27 synchronize by hyperpolymath
40s fix/consolidate-dogfood-gate
fix/consolidate-dogfood-gate
40s
fix(ci): remove three workflows that never parse (startup_failure) (#26) 🟡 Check: CodeQL security analysis #60: Commit 3b77e9e pushed by hyperpolymath
47s main
main
47s
fix(ci): remove three workflows that never parse (startup_failure) 🟡 Check: CodeQL security analysis #59: Pull request #26 synchronize by hyperpolymath
39s fix/startup-failure-workflows
fix/startup-failure-workflows
39s
chore(deps): bump the actions group with 5 updates (#25) 🟡 Check: CodeQL security analysis #58: Commit 50201a0 pushed by hyperpolymath
47s main
main
47s
fix(ci): remove three workflows that never parse (startup_failure) 🟡 Check: CodeQL security analysis #57: Pull request #26 opened by hyperpolymath
45s fix/startup-failure-workflows
fix/startup-failure-workflows
45s
🟡 Check: CodeQL security analysis 🟡 Check: CodeQL security analysis #56: Scheduled
44s main
main
44s
chore(deps): bump the actions group with 5 updates 🟡 Check: CodeQL security analysis #55: Pull request #25 opened by dependabot Bot
41s dependabot/github_actions/actions-5e51a53eed
dependabot/github_actions/actions-5e51a53eed
41s