Lean Action CI

chore: support changing SAT solver config from CLI #155

Sign in to view logs

Triggered via pull request January 5, 2026 16:01

abdoo8080

opened #34

abdoo8080:SAT-config

Status Success

Total duration 1m 14s

Artifacts –

lean_action_ci.yml

on: pull_request