Skip to content

Update nix versions #1157

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

Merged
merged 1 commit into from
Jun 30, 2025
Merged

Update nix versions #1157

merged 1 commit into from
Jun 30, 2025

Conversation

github-actions[bot]
Copy link
Contributor

Automated changes by create-pull-request GitHub action

@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Jun 14, 2025
@github-actions github-actions bot requested a review from a team as a code owner June 14, 2025 03:06
@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Jun 14, 2025
@fricklerhandwerk fricklerhandwerk enabled auto-merge (squash) June 14, 2025 09:01
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from b225a16 to d9a2de0 Compare June 20, 2025 03:08
@fricklerhandwerk fricklerhandwerk enabled auto-merge (squash) June 20, 2025 08:35
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from d9a2de0 to 1790df3 Compare June 24, 2025 03:09
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 5 times, most recently from 23d1ac0 to f3a7c77 Compare June 29, 2025 03:14
@fricklerhandwerk
Copy link
Collaborator

Hm, @Mic92 somehow CI checks don't trigger.

@Mic92
Copy link
Member

Mic92 commented Jun 30, 2025

Yeah. This is normal for pull requests created by github updates (I believe to avoid creating CI loops?). I usually create a github app to work around this: https://github.com/Mic92/dotfiles/blob/35e1a1bb9d5e9e78688b6874edae59a3735d7d88/.github/workflows/update-dependencies.yaml#L23

It can be worked around by doing a check out + git commit --amend + git force push.

@Mic92 Mic92 force-pushed the create-pull-request/patch branch from f3a7c77 to f26d91e Compare June 30, 2025 19:13
Copy link
Contributor Author

@fricklerhandwerk fricklerhandwerk merged commit 702b2bd into master Jun 30, 2025
9 checks passed
@fricklerhandwerk fricklerhandwerk deleted the create-pull-request/patch branch June 30, 2025 19:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants