Ubuntu build

Some properties of connected spaces #2804

Sign in to view logs

Triggered via pull request March 21, 2025 14:33

phijor

synchronize #1202

phijor:connectivity-lemmas

Status Success

Total duration 17m 39s

Artifacts –

ci-ubuntu.yml

on: pull_request