Build, Package, and Test (Python 3.14 Free-Threading)

Workflow runs for Build, Package, and Test (Python 3.14 Free-Threading)

• Merge pull request #79 from trishullab/bug-fix/dependency-parsing-new…

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#122:Commitb8a375dpushedbyamit9oct
  main

  Jul 10, 202623m 20s
  More actions for workflow run 122

• Bug fix/dependency parsing newline bug fix

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#121:Pull request#79openedbyamit9oct
  bug-fix/dependency-parsing-newline-bug-fix

  Jul 10, 202623m 6s
  More actions for workflow run 121

• Merge pull request #78 from trishullab/feat/multiple-lean-version

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#120:Commitc12563fpushedbyamit9oct
  main

  Jun 22, 202623m 37s
  More actions for workflow run 120

• Update regex dependency to allow versions >= 2023.10.3

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#119:Pull request#78synchronizebyamit9oct
  feat/multiple-lean-version

  Jun 22, 202623m 42s
  More actions for workflow run 119

• Update regex dependency to allow versions >= 2023.10.3

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#118:Pull request#78openedbyamit9oct
  feat/multiple-lean-version

  Jun 22, 202622m 50s
  More actions for workflow run 118

• Merge pull request #77 from trishullab/feat/multiple-lean-version

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#117:Commit72562c7pushedbyamit9oct
  main

  Jun 22, 202623m 38s
  More actions for workflow run 117

• Added multiple lean versions to run parallely.

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#116:Pull request#77synchronizebyamit9oct
  feat/multiple-lean-version

  Jun 22, 202622m 51s
  More actions for workflow run 116

• Added multiple lean versions to run parallely.

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#115:Pull request#77synchronizebyamit9oct
  feat/multiple-lean-version

  Jun 22, 202623m 7s
  More actions for workflow run 115

• Added multiple lean versions to run parallely.

  failed:
  Build, Package, and Test (Python 3.14 Free-Threading)#114:Pull request#77openedbyamit9oct
  feat/multiple-lean-version

  Jun 22, 20265m 5s
  More actions for workflow run 114

• Merge pull request #76 from trishullab/bug/lean-multi-version

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#113:Commitff84f2dpushedbyamit9oct
  main

  Jun 14, 202622m 17s
  More actions for workflow run 113

• Bug/lean multi version

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#112:Pull request#76openedbyamit9oct
  bug/lean-multi-version

  Jun 14, 202622m 34s
  More actions for workflow run 112

• Merge pull request #75 from trishullab/bug/lean-multi-version

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#111:Commit370d748pushedbyamit9oct
  main

  Jun 14, 202622m 15s
  More actions for workflow run 111

• Bug/lean multi version

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#110:Pull request#75openedbyamit9oct
  bug/lean-multi-version

  Jun 14, 202624m 16s
  More actions for workflow run 110

• Merge pull request #74 from trishullab/feature/new-datasets

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#109:Commitc93f29bpushedbyamit9oct
  main

  Jun 8, 202622m 45s
  More actions for workflow run 109

• Feature/new datasets

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#108:Pull request#74synchronizebyamit9oct
  feature/new-datasets

  Jun 8, 202623m 5s
  More actions for workflow run 108

• Feature/new datasets

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#107:Pull request#74synchronizebyamit9oct
  feature/new-datasets

  Jun 8, 202619m 47s
  More actions for workflow run 107

• Feature/new datasets

  failed:
  Build, Package, and Test (Python 3.14 Free-Threading)#106:Pull request#74synchronizebyamit9oct
  feature/new-datasets

  Jun 8, 20265m 5s
  More actions for workflow run 106

• Feature/new datasets

  failed:
  Build, Package, and Test (Python 3.14 Free-Threading)#105:Pull request#74synchronizebyamit9oct
  feature/new-datasets

  Jun 8, 20265m 29s
  More actions for workflow run 105

• Feature/new datasets

  failed:
  Build, Package, and Test (Python 3.14 Free-Threading)#104:Pull request#74openedbyamit9oct
  feature/new-datasets

  Jun 8, 20263m 6s
  More actions for workflow run 104

• Merge pull request #73 from trishullab/feat/lean-v4_30

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#103:Commit264731fpushedbyamit9oct
  main

  May 31, 202621m 31s
  More actions for workflow run 103

• Update Python environment setup and support Lean 4 v4.30.0

  completed successfully:
  Build, Package, and Test (Python 3.14 Free-Threading)#102:Pull request#73synchronizebyamit9oct
  feat/lean-v4_30

  May 31, 202621m 1s
  More actions for workflow run 102

• Update Python environment setup and support Lean 4 v4.30.0

  failed:
  Build, Package, and Test (Python 3.14 Free-Threading)#101:Pull request#73openedbyamit9oct
  feat/lean-v4_30

  May 31, 20265m 4s
  More actions for workflow run 101

• Merge pull request #72 from ChakshuGupta13/lean-v4.27-support

  failed:
  Build, Package, and Test (Python 3.14 Free-Threading)#100:Commit7129d8fpushedbyamit9oct
  main

  May 31, 20261m 59s
  More actions for workflow run 100

• Support Lean 4 v4.27 in tactic_parser

  failed:
  Build, Package, and Test (Python 3.14 Free-Threading)#99:Pull request#72synchronizebyChakshuGupta13
  ChakshuGupta13:lean-v4.27-support

  May 31, 20262m 6s
  More actions for workflow run 99

• Support Lean 4 v4.27 in tactic_parser

  failed:
  Build, Package, and Test (Python 3.14 Free-Threading)#97:Pull request#72synchronizebyChakshuGupta13
  ChakshuGupta13:lean-v4.27-support

  May 31, 20262m 37s
  More actions for workflow run 97