Skip to content

Conversation

mafredri
Copy link
Member

@mafredri mafredri commented Nov 9, 2022

Occasionally I'm running make gen without Docker available, seems like we can save precious seconds by not launching a Docker container for dumping the database.

Since generate.sh also launches the dump (in addition to Makefile), I decided to invoke make within it.

  • fix: Allow dumping database without docker using pg_dump binary
  • fix: Utilize make cache for dumping database

@mafredri mafredri self-assigned this Nov 9, 2022
@mafredri mafredri requested a review from a team November 9, 2022 10:22
@mafredri mafredri force-pushed the mafredri/database-dump-improvements branch from 71740a7 to ac3e1f3 Compare November 9, 2022 10:23
@mafredri mafredri merged commit 4885ecc into main Nov 10, 2022
@mafredri mafredri deleted the mafredri/database-dump-improvements branch November 10, 2022 10:54
@github-actions github-actions bot locked and limited conversation to collaborators Nov 10, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants