Run long tests

Fix and unify docs about maximal lattices (#1307) #4232

Sign in to view logs

Triggered via push December 4, 2023 09:02

simonbrandhorst

master

Status Success

Total duration 2h 12m 1s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

CILong.yml

on: push

Matrix: test

Matrix: test_threaded