Skip to content

Merge pull request #3 from UniMath/enumerability #15

Merge pull request #3 from UniMath/enumerability

Merge pull request #3 from UniMath/enumerability #15

Triggered via push December 23, 2024 23:04
Status Success
Total duration 8m 22s
Artifacts

build.yml

on: push
Build Computability
8m 13s
Build Computability
Fit to window
Zoom out
Zoom in