LISA CI

scalafixAll, scalafmtALL, fix one test case in congruence tests. #629

Sign in to view logs

Triggered via push March 5, 2026 10:19

tableaux-overflow-fix

Status Success

Total duration 3m 55s

Artifacts –

ci.yml

on: push