Ubuntu build

A series of equality lemmas for SetQuotient #3030

Sign in to view logs

Re-run triggered October 1, 2025 13:37

maxsnew

#1259

master

Status Success

Total duration 18m 50s

Artifacts –

ci-ubuntu.yml

on: pull_request