Skip to content

Actions: hyperpolymath/polyglot-formalisms-elixir

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
115 workflow runs
115 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): bump erlef/setup-beam SHA for ubuntu24 runner support (#8) CodeQL Security Analysis #65: Commit e685166 pushed by hyperpolymath
6h 36m 20s main
main
6h 36m 20s
fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support CodeQL Security Analysis #64: Pull request #8 synchronize by hyperpolymath
2h 31m 1s fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
2h 31m 1s
fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support CodeQL Security Analysis #63: Pull request #8 opened by hyperpolymath
53m 22s fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
53m 22s
ci: bump actions/upload-artifact SHA to current v4 (#7) CodeQL Security Analysis #62: Commit 7087b7d pushed by hyperpolymath
12h 38m 12s main
main
12h 38m 12s
ci: bump actions/upload-artifact SHA to current v4 CodeQL Security Analysis #61: Pull request #7 opened by hyperpolymath
12h 37m 16s ci/bump-upload-artifact-v4-sha-final
ci/bump-upload-artifact-v4-sha-final
12h 37m 16s
ci: SHA-pin hyperpolymath validate-actions in dogfood-gate CodeQL Security Analysis #60: Commit 5852d4d pushed by hyperpolymath
3h 2m 17s main
main
3h 2m 17s
CodeQL Security Analysis CodeQL Security Analysis #59: Scheduled
1m 3s main
main
1m 3s
CodeQL Security Analysis CodeQL Security Analysis #58: Scheduled
2m 6s main
main
2m 6s
CodeQL Security Analysis CodeQL Security Analysis #57: Scheduled
1m 51s main
main
1m 51s
CodeQL Security Analysis CodeQL Security Analysis #56: Scheduled
51s main
main
51s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback CodeQL Security Analysis #55: Commit 960bcf7 pushed by hyperpolymath
29m 16s main
main
29m 16s
docs: add post-audit status report for M5 sweep CodeQL Security Analysis #54: Commit 74695a2 pushed by hyperpolymath
21m 5s main
main
21m 5s
chore: automated sync of local changes CodeQL Security Analysis #53: Commit 32f630b pushed by hyperpolymath
20m 55s main
main
20m 55s
CodeQL Security Analysis CodeQL Security Analysis #52: Scheduled
33s main
main
33s
chore(docs): convert README.md to README.adoc — adoc is estate standard CodeQL Security Analysis #51: Commit 02bd58e pushed by hyperpolymath
6m 40s main
main
6m 40s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #50: Commit 5d5dfdc pushed by hyperpolymath
1h 10m 24s main
main
1h 10m 24s
CodeQL Security Analysis CodeQL Security Analysis #49: Scheduled
36s main
main
36s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #48: Commit 14c2384 pushed by hyperpolymath
6h 5m 47s main
main
6h 5m 47s
ci: deploy dogfood-gate, add CRG tests and Groove manifest, update CI… CodeQL Security Analysis #47: Commit e432b18 pushed by hyperpolymath
1h 45m 32s main
main
1h 45m 32s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #46: Commit dd85d6c pushed by hyperpolymath
32m 36s main
main
32m 36s
docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit CodeQL Security Analysis #45: Commit 084215c pushed by hyperpolymath
8m 54s main
main
8m 54s
CodeQL Security Analysis CodeQL Security Analysis #44: Scheduled
36s main
main
36s
feat: add stapeln.toml container definition CodeQL Security Analysis #43: Commit b47401e pushed by hyperpolymath
31m 39s main
main
31m 39s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… CodeQL Security Analysis #42: Commit 547b354 pushed by hyperpolymath
35m 18s main
main
35m 18s
feat: add UX Justfile with doctor, tour, help-me, assail recipes CodeQL Security Analysis #41: Commit 58511ce pushed by hyperpolymath
12m 10s main
main
12m 10s