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

Revampped the Lean 4 execution framework; Removed REPL dependency #45

Sign in to view logs

Triggered via pull request November 7, 2025 02:28

amit9oct

synchronize #61

feature/tactic-parsing-strong-validation

Status Success

Total duration 23m 6s

Artifacts –

github-build-actions-python314t.yaml

on: pull_request

build-test-python314t