Ubuntu build

New notion of equivalence: Bijective relations #3035

Sign in to view logs

Triggered via pull request October 2, 2025 15:31

anshwad10

synchronize #1252

anshwad10:bifunctional-rel

Status Success

Total duration 25m 18s

Artifacts –

ci-ubuntu.yml

on: pull_request