Ubuntu build

Pour `Categories.Commutativity` into `Categories.Morphism` (#1244) #2995

Sign in to view logs

Triggered via push August 2, 2025 14:41

mortberg

master

Status Success

Total duration 5m 29s

Artifacts –

ci-ubuntu.yml

on: push