Ubuntu build

Non-strict order equational reasoning (#1229) #3040

Sign in to view logs

Triggered via push October 8, 2025 08:52

felixwellen

master

Status Success

Total duration 4m 2s

Artifacts –

ci-ubuntu.yml

on: push