Skip to content

Actions: hyperpolymath/stapeln

Actions

E2E and Property Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
e2e.yml
144 workflow runs
144 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
test(idris2): port 5 Deno + 1 JS test files to Idris2 (estate port 8/… E2E and Property Tests #144: Commit 911a8f9 pushed by hyperpolymath
13h 3m 59s main
main
13h 3m 59s
test(idris2): port 5 Deno + 1 JS test files to Idris2 (estate port 8/11) E2E and Property Tests #143: Pull request #61 opened by hyperpolymath
13h 4m 38s feat/port-ts-tests-to-idris2
feat/port-ts-tests-to-idris2
13h 4m 38s
chore(deps): bump openssl (#59) E2E and Property Tests #142: Commit b2820b2 pushed by hyperpolymath
12h 55m 58s main
main
12h 55m 58s
ci(gitignore): ignore generated/* artefacts (Refs standards#93) (#60) E2E and Property Tests #141: Commit abafba3 pushed by hyperpolymath
47s main
main
47s
ci(gitignore): ignore generated/* artefacts (Refs standards#93) E2E and Property Tests #140: Pull request #60 opened by hyperpolymath
17s ci/gitignore-generated-stanza
ci/gitignore-generated-stanza
17s
chore(deps): bump openssl from 0.10.79 to 0.10.80 in /container-stack/selur/compose in the cargo group across 1 directory E2E and Property Tests #139: Pull request #59 opened by dependabot Bot
2h 34m 27s dependabot/cargo/container-stack/selur/compose/cargo-b5bfc02d2b
dependabot/cargo/container-stack/selur/compose/cargo-b5bfc02d2b
2h 34m 27s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… E2E and Property Tests #138: Commit 9cad95e pushed by hyperpolymath
1h 38m 48s main
main
1h 38m 48s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only) E2E and Property Tests #137: Pull request #58 opened by hyperpolymath
1h 32m 30s licence-debt/07-pmpl-suffix
licence-debt/07-pmpl-suffix
1h 32m 30s
ci(spark): adopt estate SPARK Theatre Gate (standards#135) (#57) E2E and Property Tests #136: Commit dc2ce11 pushed by hyperpolymath
13m 31s main
main
13m 31s
ci(spark): adopt estate SPARK Theatre Gate (#135) E2E and Property Tests #135: Pull request #57 opened by hyperpolymath
1m 45s ci/adopt-spark-theatre-gate
ci/adopt-spark-theatre-gate
1m 45s
ci(proof): add GitHub formal-verification gate for cerro-torre (#56) E2E and Property Tests #134: Commit fd8d1ef pushed by hyperpolymath
5m 29s main
main
5m 29s
ci(proof): GitHub formal-verification gate for cerro-torre (mirror echidna) E2E and Property Tests #133: Pull request #56 opened by hyperpolymath
1h 35m 16s ci/github-formal-verification
ci/github-formal-verification
1h 35m 16s
fix(licence): clear scaffold-placeholder leak (Tranche 3) (#55) E2E and Property Tests #132: Commit 491fb25 pushed by hyperpolymath
5h 58m 3s main
main
5h 58m 3s
fix(licence): #3 clean — clear scaffold-placeholder leak (stapeln) E2E and Property Tests #131: Pull request #55 opened by hyperpolymath
12h 12m 48s licence-debt/03-final-placeholder
licence-debt/03-final-placeholder
12h 12m 48s
fix(cerro-torre): String-bridge — discharge 3 ImporterProofs postulat… E2E and Property Tests #130: Commit bae00cc pushed by hyperpolymath
11h 0m 24s main
main
11h 0m 24s
fix(cerro-torre): prove chainCommutative — resolve 2026-04-19 regress… E2E and Property Tests #129: Commit 3529915 pushed by hyperpolymath
10h 56m 1s main
main
10h 56m 1s
fix(affine): migrate record literals to #{ } (affinescript#218) (#54) E2E and Property Tests #128: Commit 6ae1514 pushed by hyperpolymath
10h 56m 47s main
main
10h 56m 47s
fix(affine): migrate record literals to #{ } (affinescript#218) E2E and Property Tests #127: Pull request #54 opened by hyperpolymath
12h 23m 53s fix/rust-record-syntax
fix/rust-record-syntax
12h 23m 53s
fix(cerro-torre): String-bridge — discharge 3 ImporterProofs postulates E2E and Property Tests #126: Pull request #53 opened by hyperpolymath
12h 25m 22s fix/string-bridge-129
fix/string-bridge-129
12h 25m 22s
fix(cerro-torre): prove chainCommutative (resolve 2026-04-19 regression) E2E and Property Tests #125: Pull request #52 opened by hyperpolymath
12h 35m 48s fix/chaincommutative-proven-129
fix/chaincommutative-proven-129
12h 35m 48s
fix(ci): sync hypatia-scan.yml to canonical (kill cd-scanner build dr… E2E and Property Tests #124: Commit 9610af0 pushed by hyperpolymath
18h 25m 6s main
main
18h 25m 6s
fix(ci): sync hypatia-scan.yml to canonical E2E and Property Tests #123: Pull request #51 opened by hyperpolymath
18h 31m 38s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
18h 31m 38s
chore(ci): replace per-repo governance copies with shared bundle wrapper E2E and Property Tests #122: Commit d7f147d pushed by hyperpolymath
13h 56m 20s main
main
13h 56m 20s
ci: re-adopt hyperpolymath/a2ml-validate-action (Closes #44) (#50) E2E and Property Tests #121: Commit df562ff pushed by hyperpolymath
3m 4s main
main
3m 4s
ci: re-adopt a2ml-validate-action @f8517bb (Closes #44) E2E and Property Tests #120: Pull request #50 opened by hyperpolymath
12m 51s claude/readopt-a2ml-action-44
claude/readopt-a2ml-action-44
12m 51s