Skip to content

Actions: hyperpolymath/valence-shell

Actions

Correspondence Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validation.yml
417 workflow runs
417 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
ci: refresh standards reusable pins to current HEAD (d7c2271) Correspondence Validation #367: Pull request #149 opened by hyperpolymath
1m 56s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1m 56s
chore(ci): add dormant push-email notification workflow (#147) Correspondence Validation #366: Commit b6b07c6 pushed by hyperpolymath
19h 15m 38s main
main
19h 15m 38s
chore(ci): add dormant push-email notification workflow Correspondence Validation #365: Pull request #147 synchronize by hyperpolymath
19h 13m 30s chore/push-email-notify
chore/push-email-notify
19h 13m 30s
chore(clade): backfill [status] lifecycle block (#146) Correspondence Validation #364: Commit a8930d1 pushed by hyperpolymath
18h 46m 56s main
main
18h 46m 56s
chore(clade): backfill [status] lifecycle block Correspondence Validation #363: Pull request #146 synchronize by hyperpolymath
18h 45m 52s chore/clade-status-backfill
chore/clade-status-backfill
18h 45m 52s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Correspondence Validation #362: Commit be08eff pushed by hyperpolymath
18h 30m 3s main
main
18h 30m 3s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Correspondence Validation #361: Pull request #148 opened by hyperpolymath
18h 29m 39s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
18h 29m 39s
chore(ci): add dormant push-email notification workflow Correspondence Validation #360: Pull request #147 opened by hyperpolymath
11h 20m 47s chore/push-email-notify
chore/push-email-notify
11h 20m 47s
chore(clade): backfill [status] lifecycle block Correspondence Validation #359: Pull request #146 opened by hyperpolymath
11h 10m 50s chore/clade-status-backfill
chore/clade-status-backfill
11h 10m 50s
chore(ci): bump standards reusable workflow pins (#145) Correspondence Validation #358: Commit de525d4 pushed by hyperpolymath
7h 34m 31s main
main
7h 34m 31s
chore(ci): bump standards reusable workflow pins Correspondence Validation #357: Pull request #145 opened by hyperpolymath
7h 29m 14s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
7h 29m 14s
chore(nix->guix): remove flake.nix (Guix-only) (#144) Correspondence Validation #356: Commit 582a629 pushed by hyperpolymath
1h 6m 3s main
main
1h 6m 3s
chore(nix->guix): remove flake.nix (Guix-only) Correspondence Validation #355: Pull request #144 opened by hyperpolymath
1h 5m 11s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
1h 5m 11s
chore: retire local issue/discussion templates -> inherit org .github… Correspondence Validation #354: Commit 137a917 pushed by hyperpolymath
42m 0s main
main
42m 0s
chore(deps): bump the actions group with 2 updates Correspondence Validation #353: Commit 34253ed pushed by hyperpolymath
49s main
main
49s
chore(deps): bump the actions group with 2 updates Correspondence Validation #352: Pull request #143 opened by dependabot Bot
51s dependabot/github_actions/actions-2a9049a57f
dependabot/github_actions/actions-2a9049a57f
51s
chore(deps): bump ossf/scorecard-action in the actions group Correspondence Validation #351: Commit cbab3b3 pushed by hyperpolymath
54s main
main
54s
chore(deps): bump ossf/scorecard-action from af76153369ae1eb1eaffc4118046b7fda9a8419e to 50757822a4ac41af1c2f5572df4e1c1a5ae50c03 in the actions group Correspondence Validation #350: Pull request #142 opened by dependabot Bot
1m 7s dependabot/github_actions/actions-138e258ae1
dependabot/github_actions/actions-138e258ae1
1m 7s
chore(deps): bump the actions group with 7 updates (#141) Correspondence Validation #349: Commit 4c281fc pushed by hyperpolymath
1m 4s main
main
1m 4s
chore(deps): bump the actions group with 7 updates Correspondence Validation #348: Pull request #141 opened by dependabot Bot
57s dependabot/github_actions/actions-70b504b358
dependabot/github_actions/actions-70b504b358
57s
proofs(idris2): Q5 option 3 — propositional Equiv migration (closes e… Correspondence Validation #347: Commit 6806b93 pushed by hyperpolymath
1m 57s main
main
1m 57s
proofs(idris2): Q5 option 3 — propositional Equiv migration (closes equivTrans) Correspondence Validation #346: Pull request #136 synchronize by hyperpolymath
56s proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
56s
fix(proofs/idris2): redesign auditTrailCompleteness as per-insertion … Correspondence Validation #345: Commit c6e5d95 pushed by hyperpolymath
2m 12s main
main
2m 12s
proofs(idris2): Q5 option 3 — propositional Equiv migration (closes equivTrans) Correspondence Validation #344: Pull request #136 synchronize by hyperpolymath
1m 16s proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
1m 16s
fix(proofs/idris2): redesign auditTrailCompleteness as per-insertion theorem (closes #131) Correspondence Validation #343: Pull request #135 synchronize by hyperpolymath
1m 35s proofs/idris2-131-audit-trail-completeness-redesign
proofs/idris2-131-audit-trail-completeness-redesign
1m 35s