Verify Proofs (Idris / Lean / TLA+)

Workflow runs for Verify Proofs (Idris / Lean / TLA+)

• chore(deps): bump the actions group across 1 directory with 2 updates…

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#151:Commit95d3ef1pushedbyhyperpolymath
  main

  Oct 20, 20268m 31s
  More actions for workflow run 151

• chore(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#150:Pull request#937synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-46a2891f25

  Oct 20, 202610m 26s
  More actions for workflow run 150

• chore(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#149:Pull request#937synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-46a2891f25

  Oct 20, 202620m 22s
  More actions for workflow run 149

• chore(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#148:Pull request#937synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-46a2891f25

  Oct 20, 202611m 21s
  More actions for workflow run 148

• chore(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#147:Pull request#937synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-46a2891f25

  Oct 20, 20267m 14s
  More actions for workflow run 147

• chore(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#146:Pull request#937synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-46a2891f25

  Oct 20, 202630s
  More actions for workflow run 146

• chore(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#145:Pull request#937openedbydependabot[bot]Bot
  dependabot/github_actions/actions-46a2891f25

  Oct 19, 202638s
  More actions for workflow run 145

• fix(ci): key the Idris 2 cache on the Chez Scheme version (#930)

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#144:Commitfd7db07pushedbyhyperpolymath
  main

  Oct 19, 202613m 30s
  More actions for workflow run 144

• fix(ci): key the Idris 2 cache on the Chez Scheme version

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#143:Pull request#930openedbyhyperpolymath
  claude/abi-drift-chez-cache

  Oct 19, 20266m 11s
  More actions for workflow run 143

• Verify Proofs (Idris / Lean / TLA+)

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#142:Scheduled
  main

  Oct 19, 202633s
  More actions for workflow run 142

• chore(deps): bump the actions group across 1 directory with 7 updates…

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#141:Commit5173ca7pushedbyhyperpolymath
  main

  Oct 15, 20261m 48s
  More actions for workflow run 141

• chore(deps): bump the actions group across 1 directory with 7 updates

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#140:Pull request#926synchronizebyhyperpolymath
  dependabot/github_actions/actions-7e8019b270

  Oct 15, 202632s
  More actions for workflow run 140

• chore(deps): bump the actions group across 1 directory with 7 updates

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#139:Pull request#926openedbydependabot[bot]Bot
  dependabot/github_actions/actions-7e8019b270

  Oct 15, 202650s
  More actions for workflow run 139

• chore(deps): bump the actions group across 1 directory with 6 updates

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#138:Pull request#921synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-b434826032

  Oct 14, 202638s
  More actions for workflow run 138

• feat(safety): quarantine retracts dependent findings; dispatch steps …

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#137:Commit5f86909pushedbyhyperpolymath
  main

  Oct 14, 20261m 16s
  More actions for workflow run 137

• feat(safety): quarantine retracts dependent findings; dispatch steps name their facts (HYP-01, PR C)

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#136:Pull request#923synchronizebyhyperpolymath
  claude/hyp-01-c-retraction

  Oct 14, 20263m 34s
  More actions for workflow run 136

• chore(deps): bump the actions group across 1 directory with 6 updates

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#135:Pull request#921synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-b434826032

  Oct 14, 202657s
  More actions for workflow run 135

• feat(safety): quarantine retracts dependent findings; dispatch steps name their facts (HYP-01, PR C)

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#134:Pull request#923openedbyhyperpolymath
  claude/hyp-01-c-retraction

  Oct 14, 20261m 17s
  More actions for workflow run 134

• chore(deps): bump the actions group across 1 directory with 6 updates

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#133:Pull request#921openedbydependabot[bot]Bot
  dependabot/github_actions/actions-b434826032

  Oct 14, 20262m 54s
  More actions for workflow run 133

• feat(abi): verdict record names its support; Sound only from a prover…

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#132:Commitce5fc63pushedbyhyperpolymath
  main

  Oct 14, 202641s
  More actions for workflow run 132

• feat(abi): verdict record names its support; Sound only from a prover re-check (HYP-01, PR A)

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#131:Pull request#920openedbyhyperpolymath
  claude/new-session-25msjx

  Oct 14, 20261m 1s
  More actions for workflow run 131

• Verify Proofs (Idris / Lean / TLA+)

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#130:Scheduled
  main

  Oct 12, 202634s
  More actions for workflow run 130

• Verify Proofs (Idris / Lean / TLA+)

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#129:Scheduled
  main

  Oct 5, 202632s
  More actions for workflow run 129

• fix(ci): call idris2 by full path before it is on PATH (required gate…

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#128:Commit948f311pushedbyhyperpolymath
  main

  Sep 30, 20266m 4s
  More actions for workflow run 128

• fix(ci): call idris2 by full path before it is on PATH (required gate red since #820)

  completed successfully:
  Verify Proofs (Idris / Lean / TLA+)#127:Pull request#880synchronizebyhyperpolymath
  fix/idris2-version-before-path

  Sep 30, 20266m 12s
  More actions for workflow run 127