All workflows

Workflow runs

• Move to proofinity-it; Apache-2.0, copyright Proofinity s.r.l.

  failed:
  CI#13:Commit97ee79bpushedbymarcellop71
  v4.35.0-1

  Oct 22, 20262m 3s
  More actions for workflow run 13

• CI

  failed:
  CI#12:bymarcellop71
  v4.35.0

  Oct 22, 20261m 45s
  More actions for workflow run 12

• Move to proofinity-it; Apache-2.0, copyright Proofinity s.r.l.

  failed:
  CI#11:Commitf36a7d5pushedbymarcellop71
  v4.35.0-1

  Oct 20, 20261m 50s
  More actions for workflow run 11

• v4.35.0: bump toolchain to Lean v4.35.0

  completed successfully:
  CI#10:Commit5eeea8apushedbymarcellop71
  v4.35.0

  Oct 17, 20264m 3s
  More actions for workflow run 10

• v4.33.0: bump toolchain to Lean v4.33.0

  completed successfully:
  CI#9:Commita7613cdpushedbymarcellop71
  v4.33.0

  Aug 17, 20261m 44s
  More actions for workflow run 9

• v4.31.0: bump toolchain and deps to Lean v4.31.0

  completed successfully:
  CI#8:Commit63b7f56pushedbymarcellop71
  v4.31.0

  Jun 24, 20265m 15s
  More actions for workflow run 8

• v4.29.0

  completed successfully:
  CI#7:Commitf6fa3dbpushedbymarcellop71
  v4.29.0

  Apr 22, 20261m 42s
  More actions for workflow run 7

• init

  completed successfully:
  CI#6:Commit0be9db7pushedbymarcellop71
  v0.1.0

  Jan 17, 20263m 11s
  More actions for workflow run 6