E2E, Property and Aspect Tests

342 workflow runs

chore(deps): bump the actions group with 3 updates (#140)
completed successfully:
E2E, Property and Aspect Tests#342:Commit5b10cb0pushedbyhyperpolymath
main
Nov 9, 202629s
chore(deps): bump the actions group with 3 updates
completed successfully:
E2E, Property and Aspect Tests#341:Pull request#140openedbydependabot[bot]Bot
dependabot/github_actions/actions-4f755faa39
Nov 9, 202618m 50s
chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.…
completed successfully:
E2E, Property and Aspect Tests#340:Commite08dd3apushedbyhyperpolymath
main
Nov 2, 202634s
chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.1 in the actions group
completed successfully:
E2E, Property and Aspect Tests#339:Pull request#139openedbydependabot[bot]Bot
dependabot/github_actions/actions-8997878c64
Nov 2, 202625s
docs(proofs): inventory Agda-first reconciliation without retiring Id…
completed successfully:
E2E, Property and Aspect Tests#338:Commit6b210dcpushedbyhyperpolymath
main
Nov 2, 202624s
Clarify VCL-UT level claims and proof scope (#138)
completed successfully:
E2E, Property and Aspect Tests#337:Commit0eac9fcpushedbyhyperpolymath
main
Nov 1, 202624s
Clarify VCL-UT level claims and proof scope
completed successfully:
E2E, Property and Aspect Tests#336:Pull request#138synchronizebyhyperpolymath
arena/aed4129e-vcl-ut
Nov 1, 202615s
Clarify VCL-UT level claims and proof scope
completed successfully:
E2E, Property and Aspect Tests#335:Pull request#138synchronizebyhyperpolymath
arena/aed4129e-vcl-ut
Nov 1, 202622s
Clarify VCL-UT level claims and proof scope
completed successfully:
E2E, Property and Aspect Tests#334:Pull request#138synchronizebyhyperpolymath
arena/aed4129e-vcl-ut
Nov 1, 202616s
Clarify VCL-UT level claims and proof scope
completed successfully:
E2E, Property and Aspect Tests#333:Pull request#138synchronizebyhyperpolymath
arena/aed4129e-vcl-ut
Nov 1, 202627s
Clarify VCL-UT level claims and proof scope
completed successfully:
E2E, Property and Aspect Tests#332:Pull request#138synchronizebyhyperpolymath
arena/aed4129e-vcl-ut
Nov 1, 20263m 37s
Clarify VCL-UT level claims and proof scope
completed successfully:
E2E, Property and Aspect Tests#331:Pull request#138synchronizebyhyperpolymath
arena/aed4129e-vcl-ut
Nov 1, 20263m 6s
Clarify VCL-UT level claims and proof scope
completed successfully:
E2E, Property and Aspect Tests#330:Pull request#138openedbyhyperpolymath
arena/aed4129e-vcl-ut
Nov 1, 20261m 15s
docs(proofs): inventory Agda-first reconciliation without retiring Idris2
completed successfully:
E2E, Property and Aspect Tests#329:Pull request#137openedbyhyperpolymath
proofs/agda-reconciliation-policy-2026-11
Nov 1, 202656s
docs(research): distinguish gate levels and explore identity across r…
completed successfully:
E2E, Property and Aspect Tests#328:Commit002b654pushedbyhyperpolymath
main
Oct 29, 202630s
docs(research): distinguish gate levels and explore identity across representations and time
completed successfully:
E2E, Property and Aspect Tests#327:Pull request#135synchronizebyhyperpolymath
docs/kategoria-open-ended-type-programme
Oct 29, 202640s
fix(governance): relocate canonical STATE with all live consumers (Hy…
completed successfully:
E2E, Property and Aspect Tests#326:Commit591e6f3pushedbyhyperpolymath
main
Oct 29, 202622s
docs(research): distinguish gate levels and explore identity across representations and time
completed successfully:
E2E, Property and Aspect Tests#325:Pull request#135synchronizebyhyperpolymath
docs/kategoria-open-ended-type-programme
Oct 29, 202623s
docs(research): distinguish gate levels and explore identity across representations and time
completed successfully:
E2E, Property and Aspect Tests#324:Pull request#135synchronizebyhyperpolymath
docs/kategoria-open-ended-type-programme
Oct 29, 202648s
docs(research): distinguish gate levels and explore identity across representations and time
completed successfully:
E2E, Property and Aspect Tests#323:Pull request#135synchronizebyhyperpolymath
docs/kategoria-open-ended-type-programme
Oct 29, 202636s
fix(governance): relocate canonical STATE with all live consumers (Hypatia SD004)
completed successfully:
E2E, Property and Aspect Tests#322:Pull request#133synchronizebyhyperpolymath
fix/state-descriptile-coordinated-20261029
Oct 29, 202626s
fix(ci): eliminate 141 redundant prover jobs without losing exercised tests
completed successfully:
E2E, Property and Aspect Tests#321:Pull request#136synchronizebyhyperpolymath
fix/backend-matrix-honest-wiremock-20261029
Oct 29, 202623s
fix(governance): relocate canonical STATE with all live consumers (Hypatia SD004)
completed successfully:
E2E, Property and Aspect Tests#320:Pull request#133synchronizebyhyperpolymath
fix/state-descriptile-coordinated-20261029
Oct 29, 202631s
fix(governance): relocate canonical STATE with all live consumers (Hypatia SD004)
completed successfully:
E2E, Property and Aspect Tests#319:Pull request#133synchronizebyhyperpolymath
fix/state-descriptile-coordinated-20261029
Oct 29, 202624s
fix(ci): eliminate 141 redundant prover jobs without losing exercised tests
completed successfully:
E2E, Property and Aspect Tests#318:Pull request#136openedbyhyperpolymath
fix/backend-matrix-honest-wiremock-20261029
Oct 29, 202623s