Repository navigation
Use pinned Nix tools for development and dashboard builds - #814
Merged
Merged
Conversation
|
thomashoneyman
marked this pull request as ready for review
October 18, 2026 22:26
f-f
approved these changes
Oct 18, 2026
Member
|
@thomashoneyman dashboard fails to deploy on trunk: https://github.com/purescript/registry-dev/actions/runs/39174439299 |
Member
Author
|
Ugh, I never get actions right the first time. It looks like the deploy was fine but I missed a guard to avoid trying to clean up the preview build on master. Should be a one-liner one sec |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
One more small update to the developer flake!
I noticed a few gaps in how we selected tools for local development and dashboard CI, so this makes both use the pinned Nix toolchain, with JavaScript dependencies installed from
package-lock.json.The dev shell now includes
esbuildand the npm dependency hash utility. The dashboard is also a Nix build target, reusing the existing compiled PureScript and locked npm dependencies. CI deploys its output directly, and the regular Nix checks build it too. The dashboard workflow now also runs when its own file changes.The development shell still uses normal zsh but: for local development, direnv with
nix-direnvactivates the environment in your existing shell. I had noticed on macOS that my shell configuration was putting macOS's tar ahead of Nix's GNU tar, causingspago testto fail even after entering a Nix shell. With the shell integration configured, entering the repository selects the Nix tools and the tests pass.To test manually on macOS, configure direnv with nix-direnv and enable its zsh hook. Then, from a fresh terminal:
Leave and re-enter the directory, then repeat the tool checks to confirm automatic activation. Also check that explicit shell entry works:
To build the complete dashboard site:
nix build .#dashboardThe
result/directory containsindex.html,app.js, andstatic/. (The local watch command remainsnpm run dashboard:dev)