Ubuntu build

Clean up monoidal functor properties #609

Sign in to view logs

Triggered via pull request November 16, 2025 16:59

reopened #492

jacquescomeaux:monoidal-refactor

Status Success

Total duration 16m 7s

Artifacts –

ci-ubuntu.yml

on: pull_request

test-categories