Lean Action CI

Always-halting Turing machines #65

Sign in to view logs

Triggered via pull request February 24, 2026 19:45

crei

synchronize #11

total_tms

Status Success

Total duration 5m 18s

Artifacts –

lean_action_ci.yml

on: pull_request