Build

chore: flip Coalgebra-on.ρ-comult #3827

Triggered via push June 9, 2025 19:06

ncfavier

creation

Status Success

Total duration 20m 4s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	21.3 MB	`sha256:c227acf1bf4611fa66488c31b6edf8c4551547adba5c74f77eb7cee8e8cc70b7`