Ubuntu build

A series of equality lemmas for SetQuotient #3031

Sign in to view logs

Re-run triggered October 2, 2025 10:30

maxsnew

#1259

master

Status Success

Total duration 3m 4s

Artifacts –

ci-ubuntu.yml

on: pull_request