Compare commits

..

No commits in common. "c14b416722abe07b0365dce03f25ebda1ff913de" and "9acdc4000327c4bc5f3fa7aef8cdd6b05df02bf8" have entirely different histories.

View file

@ -3,7 +3,6 @@ on:
# branches: [main]
schedule:
- cron: 0 */6 * * *
workflow_dispatch:
jobs:
update:
runs-on: native
@ -12,22 +11,19 @@ jobs:
uses: actions/checkout@v4
with:
ref: develop
# PUSH_TOKEN must be a PAT with write access to the repo.
# It bypasses branch protection rules that block the default GITHUB_TOKEN.
token: ${{ secrets.PUSH_TOKEN }}
- name: Update flake
if: ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' }}
if: ${{ github.event_name == 'schedule' }}
run: |
cd ${{ env.FORGEJO_WORKSPACE }}
nix flake update
- name: Commit new Flake.lock
if: ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' }}
if: ${{ github.event_name == 'schedule' }}
run: |
git config --local user.email "forgejo-actions[bot]@christophhollizeck.dev"
git config --local user.name "forgejo-actions[bot]"
git config --local user.email "christoph.hollizeck@hey.com"
git config --local user.name "forgjo-actions[bot]"
git commit -a -m "chore: update flake"
- name: Push changes
if: ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' }}
if: ${{ github.event_name == 'schedule' }}
run: git push
# - name: Build Loptland