Build, Package, and Test

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

Sign in to view logs

Triggered via pull request November 2, 2025 07:22

amit9oct

synchronize #61

feature/tactic-parsing-strong-validation

Status Success

Total duration 20m 41s

Artifacts –

github-build-actions.yaml

on: pull_request