Compare commits

..

No commits in common. "3e1ee94dc96a08378c42bcd29572f0d64bdc1702" and "a16c6bd6cc0ee4d622bfa29f6303ab0a78e80b3a" have entirely different histories.

View file

@ -18,7 +18,8 @@ jobs:
git config --global user.email "sevenofnine@stronzi.org" git config --global user.email "sevenofnine@stronzi.org"
git config --global user.name "Seven of Nine" git config --global user.name "Seven of Nine"
- name: Update flake's lockfile and create commit - name: Update flake's lockfile and create commit
run: nix flake update --commit-lock-file# - name: Push commit to the `update-flake-lock` remote branch run: nix flake update --commit-lock-file
- name: Push commit to the `update-flake-lock` remote branch
run: git push origin --force update-flake-lock # sevenOfNix needs write access to the repository run: git push origin --force update-flake-lock # sevenOfNix needs write access to the repository
- name: Login as `Seven of Nix` - name: Login as `Seven of Nix`
run: | run: |