Skip to content
Navigation Menu
Sign in
Products
Platform
GitHub
Repository hosting, code review, and collaboration
Copilot
AI coding agent for tasks, projects and automated work
Build & Ship
Actions
CI/CD and automation
Code Quality
Quality analysis, fixes, and enforcement
Codespaces
Cloud development environments
Secure
Code Security
Vulnerability detection and remediation
Secret Protection
Secret scanning and leak prevention
All Features
Developers
Learn
Documentation
Training
Certifications
Build
Build with Copilot
Customize Copilot
Integrations
Explore
Trending repos
GitHub Sponsors
Developer articles
Changelog
Changelog
Your source for the latest features, improvements, and fixes across GitHub products, all in one place.
Businesses
By Stage
Enterprises
Team
Startups
Nonprofits
By Industry
Healthcare
Financial services
Manufacturing
Government
See all industries
Evaluate GitHub
Why GitHub
Customer Stories
Business insights
Trust Center
Add-ons
GitHub Advanced Security
Enterprise-grade code security
Copilot for business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Resources
Learn & Connect
Documentation
Resource center
Blog
Events & webinars
Community Forum
Customer Stories
Integrations
Support
Customer support
Training
GitHub Status
Company
About
Partners
Changelog
GitHub Universe
GitHub Universe
The event for developers, by developers — talks, workshops, and what’s next for GitHub.
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
purescript
registry-dev
Repository navigation
Code
Issues
16
(16)
Pull requests
5
(5)
Actions
Projects
Security and quality
Insights
More
items
Actions: purescript/registry-dev
Actions
All workflows
Workflows
CI
CI
Dependabot Updates
Dependabot Updates
deploy
deploy
Deploy Dashboard
Deploy Dashboard
pages-build-deployment
pages-build-deployment
Show more workflows...
Management
Caches
Deployments
Lockfile
All workflows
All workflows
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Showing runs from all workflows
will be ignored since log searching is not yet available
289 workflow runs
289 workflow runs
Workflow
Filter by Workflow
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching workflows.
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
Update Nix and registry dependencies for November (#819)
CI
#134:
Commit
f63d161
pushed by
f-f
6m 41s
master
master
6m 41s
View workflow file
Update Nix and registry dependencies for November (#819)
deploy
#231:
Commit
f63d161
pushed by
f-f
12m 40s
master
master
12m 40s
View workflow file
Update Nix and registry dependencies for November
CI
#133:
Pull request
#819
opened by
thomashoneyman
6m 55s
maintenance/monthly-2026-11-02
maintenance/monthly-2026-11-02
6m 55s
View #819
View workflow file
Remove legacy manifest publishing and package-set mirroring
CI
#132:
Pull request
#818
synchronize by
thomashoneyman
6m 33s
retire-legacy-publishing
retire-legacy-publishing
6m 33s
View #818
View workflow file
Keep compiler rollouts out of the deployment smoke test
CI
#131:
Pull request
#817
synchronize by
thomashoneyman
6m 57s
fix-smoke-startup-jobs
fix-smoke-startup-jobs
6m 57s
View #817
View workflow file
Remove legacy manifest publishing and package-set mirroring
CI
#130:
Pull request
#818
opened by
thomashoneyman
5m 54s
retire-legacy-publishing
retire-legacy-publishing
5m 54s
View #818
View workflow file
Keep compiler rollouts out of the deployment smoke test
CI
#129:
Pull request
#817
opened by
thomashoneyman
6m 18s
fix-smoke-startup-jobs
fix-smoke-startup-jobs
6m 18s
View #817
View workflow file
Retry package-set heap exhaustion with clean compiler output (#815)
CI
#128:
Commit
37d8954
pushed by
thomashoneyman
6m 27s
master
master
6m 27s
View workflow file
Retry package-set heap exhaustion with clean compiler output (#815)
deploy
#230:
Commit
37d8954
pushed by
thomashoneyman
7m 45s
master
master
7m 45s
View workflow file
Retry package-set heap exhaustion with clean compiler output
CI
#127:
Pull request
#815
synchronize by
f-f
6m 29s
fix/package-set-heap-retry
fix/package-set-heap-retry
6m 29s
View #815
View workflow file
Retry package-set heap exhaustion with clean compiler output
CI
#126:
Pull request
#815
synchronize by
thomashoneyman
6m 6s
fix/package-set-heap-retry
fix/package-set-heap-retry
6m 6s
View #815
View workflow file
pages build and deployment
pages-build-deployment
#18:
by
github-pages
Bot
44s
gh-pages
gh-pages
44s
Restrict dashboard production deployment to master pushes
Deploy Dashboard
#29:
Pull request
#816
closed by
f-f
2m 51s
trh/fix-dashboard-merge-cleanup
trh/fix-dashboard-merge-cleanup
2m 51s
View #816
View workflow file
Restrict dashboard production deployment to master pushes (#816)
CI
#125:
Commit
fd14ebd
pushed by
f-f
7m 5s
master
master
7m 5s
View workflow file
Restrict dashboard production deployment to master pushes (#816)
deploy
#229:
Commit
fd14ebd
pushed by
f-f
2m 3s
master
master
2m 3s
View workflow file
Restrict dashboard production deployment to master pushes (#816)
Deploy Dashboard
#28:
Commit
fd14ebd
pushed by
f-f
2m 51s
master
master
2m 51s
View workflow file
pages build and deployment
pages-build-deployment
#17:
by
github-pages
Bot
2m 17s
gh-pages
gh-pages
2m 17s
Restrict dashboard production deployment to master pushes
Deploy Dashboard
#27:
Pull request
#816
opened by
thomashoneyman
3m 8s
trh/fix-dashboard-merge-cleanup
trh/fix-dashboard-merge-cleanup
3m 8s
View #816
View workflow file
Restrict dashboard production deployment to master pushes
CI
#124:
Pull request
#816
opened by
thomashoneyman
6m 27s
trh/fix-dashboard-merge-cleanup
trh/fix-dashboard-merge-cleanup
6m 27s
View #816
View workflow file
Fail loudly when existing manifest entries cannot be read
CI
#123:
Pull request
#807
synchronize by
f-f
5m 40s
fix/manifest-index-read-errors
fix/manifest-index-read-errors
5m 40s
View #807
View workflow file
pages build and deployment
pages-build-deployment
#16:
by
github-pages
Bot
46s
gh-pages
gh-pages
46s
Retry package-set heap exhaustion with clean compiler output
CI
#122:
Pull request
#815
synchronize by
f-f
6m 4s
fix/package-set-heap-retry
fix/package-set-heap-retry
6m 4s
View #815
View workflow file
Use pinned Nix tools for development and dashboard builds (#814)
Deploy Dashboard
#26:
Commit
663d08d
pushed by
f-f
2m 29s
master
master
2m 29s
View workflow file
Use pinned Nix tools for development and dashboard builds (#814)
CI
#121:
Commit
663d08d
pushed by
f-f
5m 54s
master
master
5m 54s
View workflow file
Use pinned Nix tools for development and dashboard builds (#814)
deploy
#228:
Commit
663d08d
pushed by
f-f
1m 56s
master
master
1m 56s
View workflow file
Previous
1
2
3
4
5
…
11
12
Next
You can’t perform that action at this time.