Run long tests

Fix and unify docs about maximal lattices #4231

Sign in to view logs

Triggered via pull request December 4, 2023 09:02

simonbrandhorst

synchronize #1307

StevellM:sm/fix_doc

Status Success

Total duration 2h 19m 21s

Artifacts –

CILong.yml

on: pull_request

Matrix: test

Matrix: test_threaded