Skip to content

Actions: hyperpolymath/modshells

Actions

Ada (GNAT)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ada.yml
133 workflow runs
133 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add casket pages workflow Ada (GNAT) #133: Commit a808061 pushed by hyperpolymath
45m 50s main
main
45m 50s
docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit Ada (GNAT) #132: Commit dc4ec53 pushed by hyperpolymath
6m 56s main
main
6m 56s
feat: add stapeln.toml container definition Ada (GNAT) #131: Commit 349fc4e pushed by hyperpolymath
21m 2s main
main
21m 2s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… Ada (GNAT) #130: Commit 62a95a8 pushed by hyperpolymath
27m 50s main
main
27m 50s
chore: add UX infrastructure (quickstart, doctor, setup) Ada (GNAT) #129: Commit 502b59a pushed by hyperpolymath
54m 22s main
main
54m 22s
chore: add agent_instructions methodology layer Ada (GNAT) #128: Commit 7357451 pushed by hyperpolymath
48m 3s main
main
48m 3s
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, … Ada (GNAT) #127: Commit bd59a9a pushed by hyperpolymath
23m 0s main
main
23m 0s
docs: add EXPLAINME.adoc — prove-it file backing README claims Ada (GNAT) #126: Commit 5e4bbed pushed by hyperpolymath
39m 10s main
main
39m 10s
chore(deps): Bump the actions group across 1 directory with 2 updates Ada (GNAT) #125: Pull request #25 opened by dependabot bot
21s dependabot/github_actions/actions-1a9f155adc
dependabot/github_actions/actions-1a9f155adc
21s
chore(ci): maximize ci/cd values via dependabot and permissions Ada (GNAT) #124: Commit 399ed2a pushed by hyperpolymath
14m 4s main
main
14m 4s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) Ada (GNAT) #123: Pull request #24 synchronize by hyperpolymath
14m 38s chore/cicd-optimizations
chore/cicd-optimizations
14m 38s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) Ada (GNAT) #122: Pull request #24 opened by hyperpolymath
24m 52s chore/cicd-optimizations
chore/cicd-optimizations
24m 52s
chore(deps): Bump github/codeql-action from 4.32.6 to 4.33.0 in the actions group Ada (GNAT) #121: Pull request #23 opened by dependabot bot
18s dependabot/github_actions/actions-08da7132b3
dependabot/github_actions/actions-08da7132b3
18s
chore(deps): Bump erlef/setup-beam from 1.22.0 to 1.23.0 in the actio… Ada (GNAT) #120: Commit 9740059 pushed by hyperpolymath
4h 38m 37s main
main
4h 38m 37s
chore(deps): Bump erlef/setup-beam from 1.22.0 to 1.23.0 in the actions group Ada (GNAT) #119: Pull request #22 opened by dependabot bot
8h 20m 1s dependabot/github_actions/actions-edfc3fc012
dependabot/github_actions/actions-edfc3fc012
8h 20m 1s
migrate: .scm → .a2ml state files in .machine_readable/ Ada (GNAT) #118: Commit 1ec6ae4 pushed by hyperpolymath
6h 51m 13s main
main
6h 51m 13s
fix: SPDX headers (AGPL→PMPL), email, author name Ada (GNAT) #117: Commit a50c2e1 pushed by hyperpolymath
3h 13m 24s main
main
3h 13m 24s
refactor: migrate 6SCM → 6A2 (.scm → .a2ml format) Ada (GNAT) #116: Commit 2d085c6 pushed by hyperpolymath
22m 0s main
main
22m 0s
chore: RSR compliance — delete AI.djot, rename AI manifest, remove st… Ada (GNAT) #115: Commit 821cb51 pushed by hyperpolymath
19m 2s main
main
19m 2s
chore: RSR compliance — AGPL→PMPL SPDX headers, MPL-2.0-or-later→PMPL… Ada (GNAT) #114: Commit 4602d62 pushed by hyperpolymath
49s main
main
49s
chore: sync local changes Ada (GNAT) #113: Commit 5c451a7 pushed by hyperpolymath
24s main
main
24s
chore(deps): Bump webfactory/ssh-agent in the actions group Ada (GNAT) #112: Commit d2e1aff pushed by hyperpolymath
22s main
main
22s
chore(deps): Bump webfactory/ssh-agent from 0.9.1 to 0.10.0 in the actions group Ada (GNAT) #111: Pull request #21 opened by dependabot bot
22s dependabot/github_actions/actions-ceb5233de1
dependabot/github_actions/actions-ceb5233de1
22s
chore(deps): Bump the actions group with 2 updates Ada (GNAT) #110: Commit 245ab88 pushed by hyperpolymath
20s main
main
20s
chore(deps): Bump the actions group with 2 updates Ada (GNAT) #109: Pull request #20 synchronize by hyperpolymath
28s dependabot/github_actions/actions-45965b6c7f
dependabot/github_actions/actions-45965b6c7f
28s