git push force

This commit is contained in:
Daylin Morgan 2024-07-12 00:16:33 -05:00
parent b8038f521b
commit b02e51e163
Signed by: daylin
GPG key ID: 950D13E9719334AD

View file

@ -17,6 +17,8 @@ jobs:
steps:
- name: Checkout
uses: actions/checkout@v4
with:
ref: flake-lock
- name: Setup Git Bot
run: |
@ -38,7 +40,6 @@ jobs:
- name: Update nix flake
run: |
git checkout -B flake-lock
nix flake update --commit-lock-file 2>> $GITHUB_STEP_SUMMARY
- name: Build
@ -54,7 +55,7 @@ jobs:
--print-build-logs
- name: Commit Updates
run: git push --set-upstream origin flake-lock
run: git push --set-upstream --force-with-lease origin flake-lock
build-full:
needs: build-minimal