Skip to content

Actions: hyperpolymath/valence-shell

Actions

Correspondence Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validation.yml
505 workflow runs
505 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
chore(deps): bump the actions group with 5 updates (#217) Correspondence Validation #505: Commit 295c3ca pushed by hyperpolymath
1m 15s main
main
1m 15s
chore(deps): bump the actions group with 5 updates Correspondence Validation #504: Pull request #217 opened by dependabot Bot
49s dependabot/github_actions/actions-6ba437f696
dependabot/github_actions/actions-6ba437f696
49s
Fix/verify preconditions real (#216) Correspondence Validation #503: Commit 680c929 pushed by hyperpolymath
2m 17s main
main
2m 17s
Fix/verify preconditions real Correspondence Validation #502: Pull request #216 synchronize by hyperpolymath
54s fix/verify-preconditions-real
fix/verify-preconditions-real
54s
fix(rust-cli): real Lean precondition checks in verification.rs (P0-5… Correspondence Validation #501: Commit c033e9e pushed by hyperpolymath
5m 48s main
main
5m 48s
fix(rust-cli): real Lean precondition checks in verification.rs (P0-5) Correspondence Validation #500: Pull request #215 opened by hyperpolymath
1m 11s fix/verify-preconditions-real
fix/verify-preconditions-real
1m 11s
fix(test): model oracle test fails instead of skipping as a pass (P0-… Correspondence Validation #499: Commit 3440d69 pushed by hyperpolymath
2m 45s main
main
2m 45s
fix(test): model oracle test fails instead of skipping as a pass (P0-4) Correspondence Validation #498: Pull request #214 synchronize by hyperpolymath
2m 36s fix/oracle-no-skip-as-pass
fix/oracle-no-skip-as-pass
2m 36s
chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) (#213) Correspondence Validation #497: Commit 53ae47f pushed by hyperpolymath
1m 41s main
main
1m 41s
fix(test): model oracle test fails instead of skipping as a pass (P0-4) Correspondence Validation #496: Pull request #214 opened by hyperpolymath
1m 18s fix/oracle-no-skip-as-pass
fix/oracle-no-skip-as-pass
1m 18s
chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) Correspondence Validation #495: Pull request #213 opened by hyperpolymath
1m 3s chore/lean-4-34-1
chore/lean-4-34-1
1m 3s
docs: THEORY-FEED direction doc (D127, D204–D206) (#211) Correspondence Validation #494: Commit 4401867 pushed by hyperpolymath
51s main
main
51s
docs: THEORY-FEED direction doc (D127, D204–D206) Correspondence Validation #493: Pull request #211 synchronize by hyperpolymath
13m 30s docs/theory-feed-d127
docs/theory-feed-d127
13m 30s
docs: add Signed commits section to CONTRIBUTING (#212) Correspondence Validation #492: Commit 94410af pushed by hyperpolymath
1m 44s main
main
1m 44s
docs: add Signed commits section to CONTRIBUTING Correspondence Validation #491: Pull request #212 opened by hyperpolymath
37s docs/signing-policy-d218
docs/signing-policy-d218
37s
docs: THEORY-FEED direction doc (D127, D204–D206) Correspondence Validation #490: Pull request #211 synchronize by coderabbitai Bot
1m 28s docs/theory-feed-d127
docs/theory-feed-d127
1m 28s
docs: THEORY-FEED direction doc (D127, D204–D206) Correspondence Validation #489: Pull request #211 synchronize by hyperpolymath
55s docs/theory-feed-d127
docs/theory-feed-d127
55s
docs: THEORY-FEED direction doc (D127, D204–D206) Correspondence Validation #488: Pull request #211 opened by hyperpolymath
3m 36s docs/theory-feed-d127
docs/theory-feed-d127
3m 36s
chore(deps): bump the actions group with 4 updates (#209) Correspondence Validation #487: Commit 0355246 pushed by hyperpolymath
1m 13s main
main
1m 13s
chore(deps): bump the actions group with 4 updates Correspondence Validation #486: Pull request #209 opened by dependabot Bot
49s dependabot/github_actions/actions-c42d929ac2
dependabot/github_actions/actions-c42d929ac2
49s
docs: cite launcher-standard_praxis.deed, not the deleted a2ml (#208) Correspondence Validation #485: Commit f9d526b pushed by hyperpolymath
54s main
main
54s
docs: cite launcher-standard_praxis.deed, not the deleted a2ml Correspondence Validation #484: Pull request #208 opened by hyperpolymath
1m 2s docs/ac1-cite-launcher-standard-praxis-deed
docs/ac1-cite-launcher-standard-praxis-deed
1m 2s
chore(deps): bump the actions group with 7 updates (#205) Correspondence Validation #483: Commit 6107346 pushed by hyperpolymath
6h 9m 3s main
main
6h 9m 3s
fix(gates): gate on the DEED grammar, per the template and standards#… Correspondence Validation #482: Commit b774dab pushed by hyperpolymath
6h 9m 26s main
main
6h 9m 26s
fix(gates): gate on the DEED grammar, per the template and standards#837 Correspondence Validation #481: Pull request #207 opened by hyperpolymath
5h 1m 57s fix/deed-gate-grammar
fix/deed-gate-grammar
5h 1m 57s