All workflows

Workflow runs

• Package manifests for 1.9.3

  completed successfully:
  CI#145:Commit2aa9678pushedbykeithadler
  main

  Oct 24, 202610m 28s
  More actions for workflow run 145

• CI: install Lean 4.35.0, the toolchain the tests now use

  completed successfully:
  CI#144:Commit76016e2pushedbykeithadler
  v1.9.3

  Oct 24, 202612m 37s
  More actions for workflow run 144

• CI: install Lean 4.35.0, the toolchain the tests now use

  completed successfully:
  CI#143:Commit76016e2pushedbykeithadler
  main

  Oct 24, 20268m 14s
  More actions for workflow run 143

• Lean Studio 1.9.3: Lean 4.35.0 support, Prove It fixed

  failed:
  CI#142:Commitd8f87d0pushedbykeithadler
  v1.9.3

  Oct 24, 20269m 56s
  More actions for workflow run 142

• Lean Studio 1.9.3: Lean 4.35.0 support, Prove It fixed

  failed:
  CI#141:Commitd8f87d0pushedbykeithadler
  main

  Oct 24, 202611m 10s
  More actions for workflow run 141

• Mathlib

  completed successfully:
  Mathlib#5:Scheduled
  main

  Oct 19, 20267m 59s
  More actions for workflow run 5

• Package manifests for 1.9.2

  completed successfully:
  CI#140:Commit68619c6pushedbykeithadler
  main

  Oct 14, 202611m 48s
  More actions for workflow run 140

• Lean Studio 1.9.2: the Learn menu shows its answers

  completed successfully:
  CI#138:Commit654d589pushedbykeithadler
  v1.9.2

  Oct 14, 202621m 20s
  More actions for workflow run 138

• Lean Studio 1.9.2: the Learn menu shows its answers

  completed successfully:
  CI#139:Commit654d589pushedbykeithadler
  main

  Oct 14, 202613m 24s
  More actions for workflow run 139

• Learn menu: show the Output panel when a command answers

  completed successfully:
  CI#137:Commita4d446cpushedbykeithadler
  main

  Oct 14, 202613m 59s
  More actions for workflow run 137

• Lean Studio 1.9.1: typeset math polish

  completed successfully:
  CI#136:Commit2f17b68pushedbykeithadler
  v1.9.1

  Oct 13, 202612m 24s
  More actions for workflow run 136

• Lean Studio 1.9.1: typeset math polish

  completed successfully:
  CI#135:Commit2f17b68pushedbykeithadler
  main

  Oct 13, 20269m 34s
  More actions for workflow run 135

• Lean Studio 1.9.0: typeset math and emphasis in comments

  completed successfully:
  CI#134:Commitc976fc0pushedbykeithadler
  v1.9.0

  Oct 13, 202616m 5s
  More actions for workflow run 134

• Lean Studio 1.9.0: typeset math and emphasis in comments

  completed successfully:
  CI#133:Commitc976fc0pushedbykeithadler
  main

  Oct 13, 202611m 19s
  More actions for workflow run 133

• Version 1.8.2: Tenet 0.11.2

  completed successfully:
  CI#132:Commit35048b2pushedbykeithadler
  main

  Oct 12, 202613m 53s
  More actions for workflow run 132

• Version 1.8.2: Tenet 0.11.2

  completed successfully:
  CI#131:Commit35048b2pushedbykeithadler
  v1.8.2

  Oct 12, 202613m 31s
  More actions for workflow run 131

• Mathlib

  failed:
  Mathlib#4:Scheduled
  main

  Oct 12, 20267m 40s
  More actions for workflow run 4

• Lean Studio 1.8.1: build the newest lean-linter, not the one it shipp…

  completed successfully:
  CI#130:Commit005a443pushedbykeithadler
  v1.8.1

  Oct 12, 202614m 27s
  More actions for workflow run 130

• Lean Studio 1.8.1: build the newest lean-linter, not the one it shipp…

  completed successfully:
  CI#129:Commit005a443pushedbykeithadler
  main

  Oct 12, 20269m 8s
  More actions for workflow run 129

• Lean Studio 1.8.0: Compare Proof at Caret With Its Closest Match

  completed successfully:
  CI#128:Commit189bb77pushedbykeithadler
  v1.8.0

  Oct 12, 202614m 56s
  More actions for workflow run 128

• Lean Studio 1.8.0: Compare Proof at Caret With Its Closest Match

  completed successfully:
  CI#127:Commit189bb77pushedbykeithadler
  main

  Oct 12, 202610m 35s
  More actions for workflow run 127

• Lean Studio 1.7.0: Find Similar Proofs ranked by what it would save, …

  completed successfully:
  CI#126:Commit6da06c9pushedbykeithadler
  v1.7.0

  Oct 12, 202615m 33s
  More actions for workflow run 126

• Lean Studio 1.7.0: Find Similar Proofs ranked by what it would save, …

  completed successfully:
  CI#125:Commit6da06c9pushedbykeithadler
  main

  Oct 12, 20269m 48s
  More actions for workflow run 125

• Lean Studio 1.6.0: Find Similar Proofs (1.5.0 was the LeanOut plugin)

  completed successfully:
  CI#124:Commit284ff06pushedbykeithadler
  v1.6.0

  Oct 12, 202613m 38s
  More actions for workflow run 124

• Lean Studio 1.6.0: Find Similar Proofs (1.5.0 was the LeanOut plugin)

  completed successfully:
  CI#123:Commit284ff06pushedbykeithadler
  main

  Oct 12, 202610m 27s
  More actions for workflow run 123