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

ci: Add workflow to seed cachix #2615

Merged
merged 2 commits into from
Jan 16, 2023
Merged

ci: Add workflow to seed cachix #2615

merged 2 commits into from
Jan 16, 2023

Conversation

robx
Copy link
Contributor

@robx robx commented Jan 16, 2023

This is broken out of #2612; subsumes #2611.

The idea is to have a dedicated workflow to incrementally seed cachix, which can be manually triggered on appropriate pull requests. E.g., when a nixpkgs update or dependency update PR is "ready" but stuck due to CI timing out, we'd manually trigger this workflow to push build results to cachix incrementally.

For the moment, the workflow is run automatically on PR, but that's just for this PR, to be removed before merging.

(There's the same outstanding issue as with #2611, in that building postgrest-push-cachix also causes a build of cabal2nix-postgrest for no good reason. But currently that justs causes a bit of unnecessary extra work, so maybe we can leave that for later.)

@robx robx force-pushed the seed-cachix branch 3 times, most recently from 0972974 to d944eed Compare January 16, 2023 13:37
@robx robx marked this pull request as ready for review January 16, 2023 14:15
@robx robx requested a review from steve-chavez January 16, 2023 14:21
@robx robx merged commit 5fd6b39 into main Jan 16, 2023
@robx robx deleted the seed-cachix branch January 16, 2023 15:56
laurenceisla pushed a commit to laurenceisla/postgrest that referenced this pull request Apr 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants