update changes
This commit is contained in:
parent
8498f7d121
commit
10e9ffb925
1 changed files with 10 additions and 10 deletions
20
.github/workflows/daily-flake-update.yml
vendored
20
.github/workflows/daily-flake-update.yml
vendored
|
|
@ -26,19 +26,19 @@ jobs:
|
|||
fetch-depth: 0
|
||||
|
||||
- name: Install Nix
|
||||
uses: cachix/install-nix-action@v24
|
||||
uses: DeterminateSystems/nix-installer-action@main
|
||||
with:
|
||||
nix_path: nixpkgs=channel:nixos-unstable
|
||||
extra_nix_config: |
|
||||
github-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
extra-conf: |
|
||||
experimental-features = nix-command flakes
|
||||
access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
|
||||
|
||||
- name: Check for existing PR
|
||||
id: check-pr
|
||||
run: |
|
||||
# Get repository information from GitHub context
|
||||
REPO_OWNER=$(echo ${{ github.repository }} | cut -d '/' -f 1)
|
||||
REPO_NAME=$(echo ${{ github.repository }} | cut -d '/' -f 2)
|
||||
# Get repository information
|
||||
REPO_OWNER=$(echo "$GITHUB_REPOSITORY" | cut -d '/' -f 1)
|
||||
REPO_NAME=$(echo "$GITHUB_REPOSITORY" | cut -d '/' -f 2)
|
||||
|
||||
# Query Forgejo API for existing PRs
|
||||
PR_DATA=$(curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
|
||||
|
|
@ -94,8 +94,8 @@ jobs:
|
|||
if: steps.flake-update.outputs.changes_made == 'true'
|
||||
run: |
|
||||
# Get repository information
|
||||
REPO_OWNER=$(echo ${{ github.repository }} | cut -d '/' -f 1)
|
||||
REPO_NAME=$(echo ${{ github.repository }} | cut -d '/' -f 2)
|
||||
REPO_OWNER=$(echo "$GITHUB_REPOSITORY" | cut -d '/' -f 1)
|
||||
REPO_NAME=$(echo "$GITHUB_REPOSITORY" | cut -d '/' -f 2)
|
||||
|
||||
if [[ "${{ steps.check-pr.outputs.pr_exists }}" == "true" ]]; then
|
||||
echo "Updating existing PR #${{ steps.check-pr.outputs.pr_number }}"
|
||||
|
|
@ -230,8 +230,8 @@ jobs:
|
|||
fi
|
||||
|
||||
# Get repository information
|
||||
REPO_OWNER=$(echo ${{ github.repository }} | cut -d '/' -f 1)
|
||||
REPO_NAME=$(echo ${{ github.repository }} | cut -d '/' -f 2)
|
||||
REPO_OWNER=$(echo "$GITHUB_REPOSITORY" | cut -d '/' -f 1)
|
||||
REPO_NAME=$(echo "$GITHUB_REPOSITORY" | cut -d '/' -f 2)
|
||||
|
||||
# Mark PR as ready for review (not draft)
|
||||
curl -s -X PATCH \
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue