Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Minor dev script improvements #433

Merged
merged 3 commits into from
Mar 9, 2024
Merged

Minor dev script improvements #433

merged 3 commits into from
Mar 9, 2024

Conversation

phlmn
Copy link
Member

@phlmn phlmn commented Mar 8, 2024

  • πŸ§‘β€πŸ’» dev.sh: Wait for postgres before starting backend
  • πŸ§‘β€πŸ’» Move redis database file to db folder

@phlmn phlmn requested review from pajowu, rroohhh and anuejn and removed request for pajowu and rroohhh March 8, 2024 14:44
@phlmn phlmn force-pushed the phlmn/dev-script-improvements branch from 65df35a to 02f192b Compare March 8, 2024 15:18
@phlmn phlmn force-pushed the phlmn/dev-script-improvements branch from ca80823 to c44eb25 Compare March 8, 2024 15:33
@@ -19,7 +19,7 @@ jobs:

- uses: cachix/install-nix-action@v22
with:
nix_path: nixpkgs=https://github.com/NixOS/nixpkgs/archive/43862987c3cf2554a542c6dd81f5f37435eb1423.tar.gz # keep in sync with shell.nix
nix_path: nixpkgs=https://github.com/NixOS/nixpkgs/archive/880992dcc006a5e00dd0591446fdf723e6a51a64.tar.gz # keep in sync with shell.nix
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A bit random to bump this in this commit.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, but the newer version of nixpkgs is needed for wait4x...

@phlmn phlmn added this pull request to the merge queue Mar 9, 2024
Merged via the queue into main with commit 2275c8c Mar 9, 2024
2 checks passed
@phlmn phlmn deleted the phlmn/dev-script-improvements branch March 9, 2024 02:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants