Skip to content

Actions: hyperpolymath/valence-shell

Actions

Idris2 Verification Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
idris-verification.yml
77 workflow runs
77 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
refactor: migrate Markdown to AsciiDoc (#188) Idris2 Verification Build #77: Commit 3ce0417 pushed by hyperpolymath
1h 6m 54s main
main
1h 6m 54s
refactor: migrate Markdown to AsciiDoc Idris2 Verification Build #76: Pull request #188 opened by hyperpolymath
1h 7m 30s refactor/md-to-adoc
refactor/md-to-adoc
1h 7m 30s
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329 Idris2 Verification Build #75: Pull request #181 opened by hyperpolymath
8m 20s fix/ci-426-batch13
fix/ci-426-batch13
8m 20s
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329 Idris2 Verification Build #74: Pull request #180 opened by hyperpolymath
7m 54s fix/ci-426-batch12
fix/ci-426-batch12
7m 54s
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329 Idris2 Verification Build #73: Pull request #179 opened by hyperpolymath
7m 6s fix/ci-426-batch11
fix/ci-426-batch11
7m 6s
chore: fill or remove RSR template placeholders (#174) Idris2 Verification Build #72: Commit 3ad51e1 pushed by hyperpolymath
50s main
main
50s
chore: fill or remove RSR template placeholders Idris2 Verification Build #71: Pull request #174 synchronize by hyperpolymath
29s fix/rsr-placeholders
fix/rsr-placeholders
29s
chore: fill or remove RSR template placeholders Idris2 Verification Build #70: Pull request #174 opened by hyperpolymath
1m 58s fix/rsr-placeholders
fix/rsr-placeholders
1m 58s
chore(deps): bump the actions group with 6 updates (#172) Idris2 Verification Build #69: Commit 2314116 pushed by hyperpolymath
7m 22s main
main
7m 22s
chore(deps): bump the actions group with 6 updates Idris2 Verification Build #68: Pull request #172 opened by dependabot Bot
6m 23s dependabot/github_actions/actions-912ccda2ba
dependabot/github_actions/actions-912ccda2ba
6m 23s
ci: harden workflows — timeout caps, pinned+verified elan, drop empty… Idris2 Verification Build #67: Commit 9b11d08 pushed by hyperpolymath
26s main
main
26s
ci: harden workflows — timeout caps, pinned+verified elan, drop empty CodeQL language Idris2 Verification Build #66: Pull request #153 synchronize by hyperpolymath
45s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
45s
ci: harden workflows — timeout caps, pinned+verified elan, drop empty CodeQL language Idris2 Verification Build #65: Pull request #153 opened by hyperpolymath
22s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
22s
proofs(idris2): close all proof holes at the root — 0 holes, 0 new ax… Idris2 Verification Build #64: Commit 2ea4ba5 pushed by hyperpolymath
22s main
main
22s
proofs(idris2): close all proof holes at the root — 0 holes, 0 new axioms (#151) Idris2 Verification Build #63: Pull request #152 opened by hyperpolymath
21s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
21s
chore(deps): bump the actions group with 2 updates (#150) Idris2 Verification Build #62: Commit 3eee5af pushed by hyperpolymath
26s main
main
26s
chore(deps): bump the actions group with 2 updates Idris2 Verification Build #61: Pull request #150 opened by dependabot Bot
30s dependabot/github_actions/actions-0454df022e
dependabot/github_actions/actions-0454df022e
30s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Idris2 Verification Build #60: Commit be08eff pushed by hyperpolymath
18h 29m 26s main
main
18h 29m 26s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Idris2 Verification Build #59: Pull request #148 opened by hyperpolymath
18h 30m 13s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
18h 30m 13s
chore(deps): bump the actions group with 2 updates Idris2 Verification Build #58: Commit 34253ed pushed by hyperpolymath
8m 12s main
main
8m 12s
chore(deps): bump the actions group with 2 updates Idris2 Verification Build #57: Pull request #143 opened by dependabot Bot
7m 53s dependabot/github_actions/actions-2a9049a57f
dependabot/github_actions/actions-2a9049a57f
7m 53s
chore(deps): bump the actions group with 7 updates (#141) Idris2 Verification Build #56: Commit 4c281fc pushed by hyperpolymath
27s main
main
27s
chore(deps): bump the actions group with 7 updates Idris2 Verification Build #55: Pull request #141 opened by dependabot Bot
25s dependabot/github_actions/actions-70b504b358
dependabot/github_actions/actions-70b504b358
25s
proofs(idris2): Q5 option 3 — propositional Equiv migration (closes e… Idris2 Verification Build #54: Commit 6806b93 pushed by hyperpolymath
1m 8s main
main
1m 8s
proofs(idris2): Q5 option 3 — propositional Equiv migration (closes equivTrans) Idris2 Verification Build #53: Pull request #136 synchronize by hyperpolymath
1m 26s proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
1m 26s