Ubuntu build

A series of equality lemmas for SetQuotient (#1259) #3032

Sign in to view logs

Triggered via push October 2, 2025 11:08

maxsnew

master

Status Success

Total duration 18m 7s

Artifacts –

ci-ubuntu.yml

on: push