Skip to content

Actions: hyperpolymath/maa-framework

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
406 workflow runs
406 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: eliminate all 3 sorry in LambdaCNO proofs CodeQL Security Analysis #156: Commit 29259c0 pushed by hyperpolymath
3m 48s main
main
3m 48s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… CodeQL Security Analysis #155: Commit 66f71b3 pushed by hyperpolymath
26m 2s main
main
26m 2s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #154: Commit c87e331 pushed by hyperpolymath
53m 0s main
main
53m 0s
chore: add agent_instructions methodology layer CodeQL Security Analysis #153: Commit 452e3e0 pushed by hyperpolymath
49m 1s main
main
49m 1s
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, … CodeQL Security Analysis #152: Commit b5b882c pushed by hyperpolymath
23m 14s main
main
23m 14s
CodeQL Security Analysis CodeQL Security Analysis #151: Scheduled
1m 16s main
main
1m 16s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #150: Commit 58e6ffc pushed by hyperpolymath
1m 10s main
main
1m 10s
build(deps): bump trufflesecurity/trufflehog from 3.93.8 to 3.94.0 CodeQL Security Analysis #149: Commit 8cc5a78 pushed by hyperpolymath
1m 31s main
main
1m 31s
build(deps): bump github/codeql-action from 4.33.0 to 4.34.0 CodeQL Security Analysis #148: Commit b4cfa8c pushed by hyperpolymath
1m 22s main
main
1m 22s
build(deps): bump github/codeql-action from 4.33.0 to 4.34.0 CodeQL Security Analysis #147: Pull request #43 opened by dependabot Bot
1m 7s dependabot/github_actions/github/codeql-action-4.34.0
dependabot/github_actions/github/codeql-action-4.34.0
1m 7s
build(deps): bump trufflesecurity/trufflehog from 3.93.8 to 3.94.0 CodeQL Security Analysis #146: Pull request #42 opened by dependabot Bot
1m 2s dependabot/github_actions/trufflesecurity/trufflehog-3.94.0
dependabot/github_actions/trufflesecurity/trufflehog-3.94.0
1m 2s
build(deps): bump actions/checkout from 4 to 6 CodeQL Security Analysis #145: Commit 0456db0 pushed by hyperpolymath
1m 14s main
main
1m 14s
build(deps): bump actions/checkout from 4 to 6 CodeQL Security Analysis #144: Pull request #41 opened by dependabot Bot
1m 4s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1m 4s
chore(ci): maximize ci/cd values via dependabot and permissions CodeQL Security Analysis #143: Commit 320942e pushed by hyperpolymath
13m 49s main
main
13m 49s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) CodeQL Security Analysis #142: Pull request #40 synchronize by hyperpolymath
11m 18s chore/cicd-optimizations
chore/cicd-optimizations
11m 18s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) CodeQL Security Analysis #141: Pull request #40 opened by hyperpolymath
23m 29s chore/cicd-optimizations
chore/cicd-optimizations
23m 29s
build(deps): bump github/codeql-action from 4.32.6 to 4.33.0 CodeQL Security Analysis #140: Commit e4547e2 pushed by hyperpolymath
1m 21s main
main
1m 21s
build(deps): bump github/codeql-action from 4.32.6 to 4.33.0 CodeQL Security Analysis #139: Pull request #39 synchronize by hyperpolymath
1m 51s dependabot/github_actions/github/codeql-action-4.33.0
dependabot/github_actions/github/codeql-action-4.33.0
1m 51s
build(deps): bump erlef/setup-beam from 1.22.0 to 1.23.0 CodeQL Security Analysis #138: Commit f1c26e2 pushed by hyperpolymath
1m 44s main
main
1m 44s
build(deps): bump github/codeql-action from 4.32.6 to 4.33.0 CodeQL Security Analysis #137: Pull request #39 opened by dependabot Bot
1m 9s dependabot/github_actions/github/codeql-action-4.33.0
dependabot/github_actions/github/codeql-action-4.33.0
1m 9s
build(deps): bump erlef/setup-beam from 1.22.0 to 1.23.0 CodeQL Security Analysis #136: Pull request #38 opened by dependabot Bot
1m 4s dependabot/github_actions/erlef/setup-beam-1.23.0
dependabot/github_actions/erlef/setup-beam-1.23.0
1m 4s
feat: add CLADE.a2ml — clade taxonomy declaration CodeQL Security Analysis #135: Commit 49f2363 pushed by hyperpolymath
2h 0m 32s main
main
2h 0m 32s
chore: restructure nested 6a2ml files into .machine_readable/6a2/ CodeQL Security Analysis #134: Commit 7eb5b3b pushed by hyperpolymath
42m 25s main
main
42m 25s
CodeQL Security Analysis CodeQL Security Analysis #133: Scheduled
5h 2m 13s main
main
5h 2m 13s
ci: migrate CodeQL Action v3 → v4 CodeQL Security Analysis #132: Commit a9ca308 pushed by hyperpolymath
8h 50m 14s main
main
8h 50m 14s
ProTip! You can narrow down the results and go further in time using created:<2026-03-16 or the other filters available.