Skip to content
continuous integration

refactor: make unitary.map take a StarMonoidHom instead of a morp… #40

Sign in to view logs

refactor: make unitary.map take a StarMonoidHom instead of a morp…

refactor: make unitary.map take a StarMonoidHom instead of a morp… #40

Triggered via push August 3, 2025 02:29
@j-loreauxj-loreaux
pushed bae1fe6
unitary.map
Status Skipped
Total duration 1s
Artifacts –

build.yml

on: push
Lint style
Lint style
Build
0s
Build
Post-Build Step
0s
Post-Build Step
Post-CI job
0s
Post-CI job
CI Success
0s
CI Success
Fit to window
Zoom out
Zoom in