Skip to content

Actions: hyperpolymath/valence-shell

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
335 workflow runs
335 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/verify preconditions real (#216) Governance #335: Commit 680c929 pushed by hyperpolymath
2m 34s main
main
2m 34s
Fix/verify preconditions real Governance #334: Pull request #216 synchronize by hyperpolymath
2m 36s fix/verify-preconditions-real
fix/verify-preconditions-real
2m 36s
fix(rust-cli): real Lean precondition checks in verification.rs (P0-5… Governance #333: Commit c033e9e pushed by hyperpolymath
13m 1s main
main
13m 1s
fix(rust-cli): real Lean precondition checks in verification.rs (P0-5) Governance #332: Pull request #215 opened by hyperpolymath
11m 0s fix/verify-preconditions-real
fix/verify-preconditions-real
11m 0s
fix(test): model oracle test fails instead of skipping as a pass (P0-… Governance #331: Commit 3440d69 pushed by hyperpolymath
3m 33s main
main
3m 33s
fix(test): model oracle test fails instead of skipping as a pass (P0-4) Governance #330: Pull request #214 synchronize by hyperpolymath
3m 42s fix/oracle-no-skip-as-pass
fix/oracle-no-skip-as-pass
3m 42s
chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) (#213) Governance #329: Commit 53ae47f pushed by hyperpolymath
1m 26s main
main
1m 26s
fix(test): model oracle test fails instead of skipping as a pass (P0-4) Governance #328: Pull request #214 opened by hyperpolymath
2m 32s fix/oracle-no-skip-as-pass
fix/oracle-no-skip-as-pass
2m 32s
chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) Governance #327: Pull request #213 opened by hyperpolymath
2m 45s chore/lean-4-34-1
chore/lean-4-34-1
2m 45s
docs: THEORY-FEED direction doc (D127, D204–D206) (#211) Governance #326: Commit 4401867 pushed by hyperpolymath
51s main
main
51s
docs: THEORY-FEED direction doc (D127, D204–D206) Governance #325: Pull request #211 synchronize by hyperpolymath
16m 52s docs/theory-feed-d127
docs/theory-feed-d127
16m 52s
docs: add Signed commits section to CONTRIBUTING (#212) Governance #324: Commit 94410af pushed by hyperpolymath
2m 9s main
main
2m 9s
docs: add Signed commits section to CONTRIBUTING Governance #323: Pull request #212 opened by hyperpolymath
25s docs/signing-policy-d218
docs/signing-policy-d218
25s
docs: THEORY-FEED direction doc (D127, D204–D206) Governance #322: Pull request #211 synchronize by coderabbitai Bot
47s docs/theory-feed-d127
docs/theory-feed-d127
47s
docs: THEORY-FEED direction doc (D127, D204–D206) Governance #321: Pull request #211 synchronize by hyperpolymath
46s docs/theory-feed-d127
docs/theory-feed-d127
46s
docs: THEORY-FEED direction doc (D127, D204–D206) Governance #320: Pull request #211 opened by hyperpolymath
44s docs/theory-feed-d127
docs/theory-feed-d127
44s
chore(deps): bump the actions group with 4 updates (#209) Governance #319: Commit 0355246 pushed by hyperpolymath
23s main
main
23s
chore(deps): bump the actions group with 4 updates Governance #318: Pull request #209 opened by dependabot Bot
20s dependabot/github_actions/actions-c42d929ac2
dependabot/github_actions/actions-c42d929ac2
20s
docs: cite launcher-standard_praxis.deed, not the deleted a2ml (#208) Governance #317: Commit f9d526b pushed by hyperpolymath
39s main
main
39s
docs: cite launcher-standard_praxis.deed, not the deleted a2ml Governance #316: Pull request #208 opened by hyperpolymath
32s docs/ac1-cite-launcher-standard-praxis-deed
docs/ac1-cite-launcher-standard-praxis-deed
32s
chore(deps): bump the actions group with 7 updates (#205) Governance #315: Commit 6107346 pushed by hyperpolymath
7h 41m 51s main
main
7h 41m 51s
fix(gates): gate on the DEED grammar, per the template and standards#… Governance #314: Commit b774dab pushed by hyperpolymath
22s main
main
22s
fix(gates): gate on the DEED grammar, per the template and standards#837 Governance #313: Pull request #207 opened by hyperpolymath
8h 4m 11s fix/deed-gate-grammar
fix/deed-gate-grammar
8h 4m 11s
fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam… Governance #312: Commit fe95d21 pushed by hyperpolymath
1h 27m 52s main
main
1h 27m 52s
fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era naming Governance #311: Pull request #206 opened by hyperpolymath
8h 51m 32s fix/deed-gate-a2ml-retire
fix/deed-gate-a2ml-retire
8h 51m 32s