LISA CI

fix tabulation in WellFoundedRelation.scala #628

Sign in to view logs

Triggered via push March 5, 2026 10:04

tableaux-overflow-fix

Status Success

Total duration 3m 53s

Artifacts –

ci.yml

on: push