Skip to content

Actions: hyperpolymath/zerostep

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove template-only ABI files that falsely implied formal verification CodeQL Security Analysis #69: Commit fa12326 pushed by hyperpolymath
25m 45s main
main
25m 45s
CodeQL Security Analysis CodeQL Security Analysis #68: Scheduled
1m 10s main
main
1m 10s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… CodeQL Security Analysis #67: Commit 426444c pushed by hyperpolymath
51m 48s main
main
51m 48s
chore: add gitignore, gitattributes, tool-versions CodeQL Security Analysis #66: Commit 7c74873 pushed by hyperpolymath
2h 12m 47s main
main
2h 12m 47s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #65: Commit b380020 pushed by hyperpolymath
2h 9m 2s main
main
2h 9m 2s
chore: add agent_instructions methodology layer CodeQL Security Analysis #64: Commit 67f05c4 pushed by hyperpolymath
1h 46m 42s main
main
1h 46m 42s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #63: Commit 74e9843 pushed by hyperpolymath
1h 39m 34s main
main
1h 39m 34s
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, … CodeQL Security Analysis #62: Commit 595166c pushed by hyperpolymath
32m 35s main
main
32m 35s
CodeQL Security Analysis CodeQL Security Analysis #61: Scheduled
2m 17s main
main
2m 17s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #60: Commit 1db385b pushed by hyperpolymath
47m 18s main
main
47m 18s
chore(ci): maximize ci/cd values via dependabot and permissions CodeQL Security Analysis #59: Commit ef4577f pushed by hyperpolymath
5m 35s main
main
5m 35s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) CodeQL Security Analysis #58: Pull request #10 opened by hyperpolymath
40m 3s chore/cicd-optimizations
chore/cicd-optimizations
40m 3s
chore: Big Unification — attach to BoJ Server / Casket architecture CodeQL Security Analysis #57: Commit 7c67bc8 pushed by hyperpolymath
1h 58m 16s main
main
1h 58m 16s
chore: Big Unification — attach to BoJ Server / Casket architecture CodeQL Security Analysis #56: Commit 9d6efa1 pushed by hyperpolymath
56m 53s main
main
56m 53s
chore: RSR sync and mass repository update CodeQL Security Analysis #55: Commit 94a339d pushed by hyperpolymath
52m 38s main
main
52m 38s
feat: add CLADE.a2ml — clade taxonomy declaration CodeQL Security Analysis #54: Commit 542792c pushed by hyperpolymath
2h 20m 54s main
main
2h 20m 54s
chore: add SPDX headers to source files CodeQL Security Analysis #53: Commit 4c96f61 pushed by hyperpolymath
1h 41m 24s main
main
1h 41m 24s
CodeQL Security Analysis CodeQL Security Analysis #52: Scheduled
5h 0m 33s main
main
5h 0m 33s
migrate: .scm → .a2ml state files in .machine_readable/ CodeQL Security Analysis #51: Commit ef15786 pushed by hyperpolymath
7h 29m 16s main
main
7h 29m 16s
fix: correct email jonathan.jewell → j.d.a.jewell CodeQL Security Analysis #50: Commit f65fe0f pushed by hyperpolymath
6h 25m 57s main
main
6h 25m 57s
fix: SPDX headers (AGPL→PMPL), email, author name CodeQL Security Analysis #49: Commit 61c18c2 pushed by hyperpolymath
3h 41m 40s main
main
3h 41m 40s
Fix SPDX headers: AGPL-3.0-or-later → PMPL-1.0-or-later CodeQL Security Analysis #48: Commit cc49804 pushed by hyperpolymath
1h 40m 23s main
main
1h 40m 23s
Replace RSR template placeholders with actual values CodeQL Security Analysis #47: Commit 0bf8a88 pushed by hyperpolymath
44m 38s main
main
44m 38s
refactor: migrate 6SCM → 6A2 (.scm → .a2ml format) CodeQL Security Analysis #46: Commit c6b0648 pushed by hyperpolymath
43m 45s main
main
43m 45s
fix(license): SPDX AGPL-3.0 → PMPL-1.0-or-later in dotfiles CodeQL Security Analysis #45: Commit f2eea03 pushed by hyperpolymath
39m 48s main
main
39m 48s