Skip to content

Actions: hyperpolymath/betlang

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
98 workflow runs
98 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 the actions group with 2 updates (#28) CodeQL Security Analysis #98: Commit c8414f6 pushed by hyperpolymath
7h 12m 57s main
main
7h 12m 57s
Add cargo-audit.yml prevention workflow CodeQL Security Analysis #97: Commit 9009434 pushed by hyperpolymath
22m 48s main
main
22m 48s
Add workflow-linter.yml prevention workflow CodeQL Security Analysis #96: Commit cdc2dd9 pushed by hyperpolymath
3s main
main
3s
chore(deps): Bump the actions group with 2 updates CodeQL Security Analysis #95: Pull request #28 opened by dependabot Bot
5h 53m 32s dependabot/github_actions/actions-1e0c3411d7
dependabot/github_actions/actions-1e0c3411d7
5h 53m 32s
chore: migrate license from PMPL-1.0-or-later to MPL-2.0 CodeQL Security Analysis #94: Commit f1d8ab6 pushed by hyperpolymath
1h 35m 5s main
main
1h 35m 5s
chore: remove stale session summary (2026-02-07) CodeQL Security Analysis #93: Commit 9e149d8 pushed by hyperpolymath
15h 10m 23s main
main
15h 10m 23s
fix(proofs): restore green build on proofs/BetLang.lean (Refs #23) (#27) CodeQL Security Analysis #92: Commit b896ca4 pushed by hyperpolymath
9h 16m 12s main
main
9h 16m 12s
WIP: discharge substTop_preserves_typing axiom (Refs #23) CodeQL Security Analysis #91: Pull request #27 opened by hyperpolymath
23h 15m 11s fix/substtop-preserves-typing-discharge
fix/substtop-preserves-typing-discharge
23h 15m 11s
Refactor/static UI asciidoc wip (#26) CodeQL Security Analysis #90: Commit aa65b23 pushed by hyperpolymath
44m 19s main
main
44m 19s
Refactor/static UI asciidoc wip CodeQL Security Analysis #89: Pull request #26 opened by hyperpolymath
23h 26m 29s refactor/static-ui-asciidoc-wip
refactor/static-ui-asciidoc-wip
23h 26m 29s
Refactor/static UI asciidoc wip (#25) CodeQL Security Analysis #88: Commit 01f8fe9 pushed by hyperpolymath
37m 20s main
main
37m 20s
Refactor/static UI asciidoc wip CodeQL Security Analysis #87: Pull request #25 opened by hyperpolymath
23h 45m 12s refactor/static-ui-asciidoc-wip
refactor/static-ui-asciidoc-wip
23h 45m 12s
Refactor/static UI asciidoc wip (#24) CodeQL Security Analysis #86: Commit efe550e pushed by hyperpolymath
26m 10s main
main
26m 10s
Refactor/static UI asciidoc wip CodeQL Security Analysis #85: Pull request #24 opened by hyperpolymath
1d 0h 0m 2s refactor/static-ui-asciidoc-wip
refactor/static-ui-asciidoc-wip
1d 0h 0m 2s
test(idris2): port DSL + playground test suites from Racket/TS (#22) CodeQL Security Analysis #84: Commit 0624c1e pushed by hyperpolymath
8h 2m 58s main
main
8h 2m 58s
test(idris2): port DSL + playground test suites from Racket/TS CodeQL Security Analysis #83: Pull request #22 opened by hyperpolymath
12h 33m 43s feat/port-tests-to-idris2
feat/port-tests-to-idris2
12h 33m 43s
chore(deps): Bump the actions group with 3 updates (#18) CodeQL Security Analysis #82: Commit e37c2d9 pushed by hyperpolymath
1h 5m 9s main
main
1h 5m 9s
ci(spark): adopt estate SPARK Theatre Gate (standards#135) (#21) CodeQL Security Analysis #81: Commit 4d5c6b7 pushed by hyperpolymath
18m 36s main
main
18m 36s
ci(spark): adopt estate SPARK Theatre Gate (#135) CodeQL Security Analysis #80: Pull request #21 opened by hyperpolymath
9m 16s ci/adopt-spark-theatre-gate
ci/adopt-spark-theatre-gate
9m 16s
fix(licence): clear scaffold-placeholder leak (Tranche 2) (#20) CodeQL Security Analysis #79: Commit d8c93fd pushed by hyperpolymath
5h 49m 28s main
main
5h 49m 28s
fix(licence): #3 Tranche 2 — clear scaffold-placeholder leak (betlang) CodeQL Security Analysis #78: Pull request #20 opened by hyperpolymath
12h 3m 27s licence-debt/03-t2-placeholder
licence-debt/03-t2-placeholder
12h 3m 27s
CodeQL Security Analysis CodeQL Security Analysis #77: Scheduled
12h 42m 20s main
main
12h 42m 20s
harden(ci): concurrency-cancel guard on canonical check workflows (#19) CodeQL Security Analysis #76: Commit e5dcac3 pushed by hyperpolymath
4m 54s main
main
4m 54s
harden(ci): concurrency-cancel guard on canonical check workflows CodeQL Security Analysis #75: Pull request #19 opened by hyperpolymath
11h 28m 41s harden/ci-concurrency-estate-2026-05-18
harden/ci-concurrency-estate-2026-05-18
11h 28m 41s
chore(deps): Bump the actions group with 3 updates CodeQL Security Analysis #74: Pull request #18 opened by dependabot Bot
5h 31m 37s dependabot/github_actions/actions-93565b0ab9
dependabot/github_actions/actions-93565b0ab9
5h 31m 37s