Skip to content

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

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

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

Triggered via push October 8, 2023 12:28
Status Success
Total duration 1m 29s
Artifacts
Generate gitpod.yml from devcontainers
17s
Generate gitpod.yml from devcontainers
Generate new README and commit to repository
19s
Generate new README and commit to repository
Force-push subtrees for all languages
25s
Force-push subtrees for all languages
Fit to window
Zoom out
Zoom in