Ubuntu build

Strict order equational reasoning #2805

Sign in to view logs

Re-run triggered May 9, 2025 19:25

andreasabel

#1203

LorenzoMolena:StrictOrderEquationalReasoning

Status Success

Total duration 45m 37s

Artifacts –

ci-ubuntu.yml

on: pull_request