Skip to content

Actions: hyperpolymath/modshells

Actions

Ada (GNAT)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ada.yml
156 workflow runs
156 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
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
Standardise license setup: MPL-2.0 + PMPL-1.0-or-later (REUSE) Ada (GNAT) #108: Commit b3a38a5 pushed by hyperpolymath
16m 32s main
main
16m 32s
chore(deps): Bump the actions group with 2 updates Ada (GNAT) #107: Pull request #20 opened by dependabot Bot
26s dependabot/github_actions/actions-45965b6c7f
dependabot/github_actions/actions-45965b6c7f
26s