Skip to content

[purescript] Update dependency purescript/package-sets to psc-0.15.15… #1157

[purescript] Update dependency purescript/package-sets to psc-0.15.15…

[purescript] Update dependency purescript/package-sets to psc-0.15.15… #1157

Triggered via push February 4, 2025 12:24
Status Success
Total duration 1m 22s
Artifacts
Generate gitpod.yml from devcontainers
16s
Generate gitpod.yml from devcontainers
Generate new README and commit to repository
12s
Generate new README and commit to repository
Force-push subtrees for all languages
27s
Force-push subtrees for all languages
Fit to window
Zoom out
Zoom in