Skip to content

Merge pull request #53 from kalmarek/mk/monoids #181

Merge pull request #53 from kalmarek/mk/monoids

Merge pull request #53 from kalmarek/mk/monoids #181

Triggered via push November 18, 2024 03:18
Status Success
Total duration 59s
Artifacts

CI.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in