Ubuntu build

Formalize Theorem 7.2.2 in the HoTT Book (#1180) #2845

Sign in to view logs

Triggered via push May 20, 2025 17:22

felixwellen

master

Status Success

Total duration 29m 28s

Artifacts –

ci-ubuntu.yml

on: push