Repository navigation

Update package sets #534

Closed

opened

{
  "packages": {
    "slug": "3.2.0"
  }
}

pacchettibotti commented on Feb 1, 2026
pacchettibotti
on Feb 1, 2026
Contributor
Job started: e2bd2389-0683-4693-9f9d-f1fdc4e5b953
Logs: https://registry.purescript.org/api/v1/jobs/e2bd2389-0683-4693-9f9d-f1fdc4e5b953
pacchettibotti commented on Feb 1, 2026
pacchettibotti
on Feb 1, 2026
Contributor
[NOTICE] Attempting to build package set update.
pacchettibotti commented on Feb 1, 2026
pacchettibotti
on Feb 1, 2026
Contributor
❌ Job failed
thomashoneyman commented on Feb 1, 2026
thomashoneyman
on Feb 1, 2026
MemberAuthor
{ "packages": { "slug": "3.2.0" } }
pacchettibotti commented on Feb 1, 2026
pacchettibotti
on Feb 1, 2026
Contributor
Job started: 19f8eceb-f503-45f1-b502-76c04f5ab95c
Logs: https://registry.purescript.org/api/v1/jobs/19f8eceb-f503-45f1-b502-76c04f5ab95c
pacchettibotti commented on Feb 1, 2026
pacchettibotti
on Feb 1, 2026
Contributor
[NOTICE] Attempting to build package set update.

Contributor

[NOTICE] Built and released a new package set! Now mirroring to the package-sets repo...

pacchettibotti commented on Feb 1, 2026
pacchettibotti
on Feb 1, 2026
Contributor
[NOTICE] Mirrored a new legacy package set.
pacchettibotti commented on Feb 1, 2026
pacchettibotti
on Feb 1, 2026
Contributor
✅ Job completed successfully
pacchettibotti
closed this as completed on Feb 1, 2026

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests