Skip to content

Actions: hyperpolymath/anvomidav

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
158 workflow runs
158 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: deploy UX infrastructure (contractile.just, .well-known, manif… CodeQL #133: Commit 856f4a6 pushed by hyperpolymath
1m 11s main
main
1m 11s
feat: add UX Justfile with doctor, tour, help-me, assail recipes CodeQL #132: Commit 786a2b6 pushed by hyperpolymath
23s main
main
23s
feat: deploy UX Manifesto infrastructure CodeQL #131: Commit 13d286c pushed by hyperpolymath
1h 14m 45s main
main
1h 14m 45s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL #130: Commit 5abd63a pushed by hyperpolymath
19m 32s main
main
19m 32s
chore: OpenSSF workflows and compliance updates CodeQL #129: Commit b0b46e3 pushed by hyperpolymath
1h 1m 29s main
main
1h 1m 29s
chore: add agent_instructions methodology layer CodeQL #128: Commit c3232ca pushed by hyperpolymath
18m 15s main
main
18m 15s
CodeQL CodeQL #127: Scheduled
6s main
main
6s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL #126: Commit c9acf64 pushed by hyperpolymath
32m 33s main
main
32m 33s
chore: batch RSR compliance + proof fixes CodeQL #125: Commit f552f50 pushed by hyperpolymath
26m 48s main
main
26m 48s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… CodeQL #124: Commit d00fbb0 pushed by hyperpolymath
2m 13s main
main
2m 13s
Add arXiv-style paper: Domain-First Language Design CodeQL #123: Commit 0c4c5f6 pushed by hyperpolymath
1m 7s main
main
1m 7s
chore(floor-raise): add foundational tool integrations CodeQL #122: Commit 867ce5c pushed by hyperpolymath
2m 17s main
main
2m 17s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) (#23) CodeQL #121: Commit db3ea38 pushed by hyperpolymath
17m 35s main
main
17m 35s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) CodeQL #120: Pull request #23 opened by hyperpolymath
1m 15s chore/cicd-optimizations
chore/cicd-optimizations
1m 15s
chore: Big Unification — attach to BoJ Server / Casket architecture CodeQL #119: Commit 307abea pushed by hyperpolymath
1h 51m 52s main
main
1h 51m 52s
chore: Big Unification — attach to BoJ Server / Casket architecture CodeQL #118: Commit f552756 pushed by hyperpolymath
43m 12s main
main
43m 12s
chore: RSR sync and mass repository update CodeQL #117: Commit 8edc3db pushed by hyperpolymath
14m 7s main
main
14m 7s
chore: add #![forbid(unsafe_code)] to safe Rust crates CodeQL #116: Commit 7f03948 pushed by hyperpolymath
2h 20m 12s main
main
2h 20m 12s
feat: add CLADE.a2ml — clade taxonomy declaration CodeQL #115: Commit dc58472 pushed by hyperpolymath
1h 21m 58s main
main
1h 21m 58s
chore: clean up legacy Trustfile.hs, example Trustfiles, and AI.djot … CodeQL #114: Commit b0cbce5 pushed by hyperpolymath
2m 50s main
main
2m 50s
CodeQL CodeQL #113: Scheduled
4h 52m 4s main
main
4h 52m 4s
migrate: .scm → .a2ml state files in .machine_readable/ CodeQL #112: Commit 55f91f0 pushed by hyperpolymath
6h 22m 6s main
main
6h 22m 6s
fix: correct email jonathan.jewell → j.d.a.jewell CodeQL #111: Commit deea670 pushed by hyperpolymath
5h 44m 7s main
main
5h 44m 7s
fix: global AGPL-3.0-or-later → PMPL-1.0-or-later replacement CodeQL #110: Commit 8e67549 pushed by hyperpolymath
3h 59m 48s main
main
3h 59m 48s
fix: SPDX headers and template placeholders (#22) CodeQL #109: Commit 7830285 pushed by hyperpolymath
3h 51m 48s main
main
3h 51m 48s