Skip to content
Assemble the package distribution

[cap_project] Update MonoidalCategories to 2024.01-05 #570

Sign in to view logs

[cap_project] Update MonoidalCategories to 2024.01-05

[cap_project] Update MonoidalCategories to 2024.01-05 #570

Triggered via push January 21, 2024 23:12
@fingolfinfingolfin
pushed d087186
main
Status Success
Total duration 1m 21s
Artifacts –

assemble-distro.yml

on: push
Assemble the package distribution
1m 13s
Assemble the package distribution
Fit to window
Zoom out
Zoom in