Skip to content
Continuous integration

Simplify the formulation of the groupoid operations on paths in the universe #5012

Sign in to view logs

Simplify the formulation of the groupoid operations on paths in the universe

Simplify the formulation of the groupoid operations on paths in the universe #5012

Triggered via pull request December 14, 2025 22:35
@stepchowfunstepchowfun
opened #789
simplify-groupoid-operations-in-the-universe
Status Success
Total duration 6m 18s
Artifacts –

ci.yml

on: pull_request
Validate
6m 14s
Validate
Fit to window
Zoom out
Zoom in