Skip to content

[purescript] Update dependency purescript/package-sets to psc-0.15.10… #389

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

[purescript] Update dependency purescript/package-sets to psc-0.15.10… #389

Triggered via push October 10, 2023 14:20
Status Success
Total duration 1m 20s
Artifacts
Generate gitpod.yml from devcontainers
10s
Generate gitpod.yml from devcontainers
Generate new README and commit to repository
16s
Generate new README and commit to repository
Force-push subtrees for all languages
26s
Force-push subtrees for all languages
Fit to window
Zoom out
Zoom in