Skip to content

Actions: hyperpolymath/maa-framework

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
253 workflow runs
253 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: remove eval, quote vars, use mktemp in absolute-zero shell scripts Mirror to Git Forges #103: Commit 250311f pushed by hyperpolymath
3m 9s main
main
3m 9s
Remove template-only ABI files that falsely implied formal verification Mirror to Git Forges #102: Commit 3c1744f pushed by hyperpolymath
16m 43s main
main
16m 43s
feat: add stapeln.toml container definition Mirror to Git Forges #101: Commit abc3938 pushed by hyperpolymath
20m 25s main
main
20m 25s
fix: eliminate all 3 sorry in LambdaCNO proofs Mirror to Git Forges #100: Commit 29259c0 pushed by hyperpolymath
6m 15s main
main
6m 15s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… Mirror to Git Forges #99: Commit 66f71b3 pushed by hyperpolymath
30m 8s main
main
30m 8s
chore: add UX infrastructure (quickstart, doctor, setup) Mirror to Git Forges #98: Commit c87e331 pushed by hyperpolymath
55m 14s main
main
55m 14s
chore: add agent_instructions methodology layer Mirror to Git Forges #97: Commit 452e3e0 pushed by hyperpolymath
49m 26s main
main
49m 26s
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, … Mirror to Git Forges #96: Commit b5b882c pushed by hyperpolymath
25m 1s main
main
25m 1s
docs: add EXPLAINME.adoc — prove-it file backing README claims Mirror to Git Forges #95: Commit 58e6ffc pushed by hyperpolymath
3m 7s main
main
3m 7s
Mirror to Git Forges Mirror to Git Forges #94: Manually run by hyperpolymath
20m 3s main
main
20m 3s
build(deps): bump trufflesecurity/trufflehog from 3.93.8 to 3.94.0 Mirror to Git Forges #93: Commit 8cc5a78 pushed by hyperpolymath
3m 8s main
main
3m 8s
build(deps): bump github/codeql-action from 4.33.0 to 4.34.0 Mirror to Git Forges #92: Commit b4cfa8c pushed by hyperpolymath
3m 3s main
main
3m 3s
build(deps): bump actions/checkout from 4 to 6 Mirror to Git Forges #91: Commit 0456db0 pushed by hyperpolymath
3m 1s main
main
3m 1s
chore(ci): maximize ci/cd values via dependabot and permissions Mirror to Git Forges #90: Commit 320942e pushed by hyperpolymath
16m 24s main
main
16m 24s
build(deps): bump github/codeql-action from 4.32.6 to 4.33.0 Mirror to Git Forges #89: Commit e4547e2 pushed by hyperpolymath
3m 19s main
main
3m 19s
build(deps): bump erlef/setup-beam from 1.22.0 to 1.23.0 Mirror to Git Forges #88: Commit f1c26e2 pushed by hyperpolymath
2m 55s main
main
2m 55s
feat: add CLADE.a2ml — clade taxonomy declaration Mirror to Git Forges #87: Commit 49f2363 pushed by hyperpolymath
2h 6m 56s main
main
2h 6m 56s
chore: restructure nested 6a2ml files into .machine_readable/6a2/ Mirror to Git Forges #86: Commit 7eb5b3b pushed by hyperpolymath
46m 58s main
main
46m 58s
ci: migrate CodeQL Action v3 → v4 Mirror to Git Forges #85: Commit a9ca308 pushed by hyperpolymath
8h 51m 17s main
main
8h 51m 17s
ci: update SHA pins for codeql-action and trufflehog Mirror to Git Forges #84: Commit fa646ac pushed by hyperpolymath
8h 37m 23s main
main
8h 37m 23s
ci: deploy missing standard workflows (1 added) Mirror to Git Forges #83: Commit 1e61df9 pushed by hyperpolymath
7h 47m 49s main
main
7h 47m 49s
migrate: .scm → .a2ml state files in .machine_readable/ Mirror to Git Forges #82: Commit 7994051 pushed by hyperpolymath
6h 56m 29s main
main
6h 56m 29s
fix: correct email jonathan.jewell → j.d.a.jewell Mirror to Git Forges #81: Commit 47c4070 pushed by hyperpolymath
5h 55m 58s main
main
5h 55m 58s
fix: SPDX headers (AGPL→PMPL), email, author name Mirror to Git Forges #80: Commit 9e7755f pushed by hyperpolymath
2h 56m 16s main
main
2h 56m 16s
SHA-pin GitHub Actions and upgrade deprecated checkout versions Mirror to Git Forges #79: Commit 5668860 pushed by hyperpolymath
1h 54m 18s main
main
1h 54m 18s