CI

polish off unfinished parts of free monoid #2

Sign in to view logs

Triggered via push February 5, 2026 20:55

Boarders

main

Status Success

Total duration 2m 37s

Artifacts –

ci.yml

on: push

Build CategoryTheory