Skip to content

Merge pull request #1816 from ericniebler/rename-muncurry #1014

Merge pull request #1816 from ericniebler/rename-muncurry

Merge pull request #1816 from ericniebler/rename-muncurry #1014

Triggered via push February 5, 2026 22:46
Status Success
Total duration 4m 20s
Artifacts 1

gh-pages.yml

on: push
build-and-deploy
4m 15s
build-and-deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
6.61 MB
sha256:546de55430b86ac597847c3407219cae27ab11dc3bf61a2de65d98c1e4d3a206