fixed merge conflicts

This commit is contained in:
Gerg-L 2023-07-09 20:16:18 -04:00
commit 01125d91d8
2 changed files with 27 additions and 27 deletions

View file

@ -7,17 +7,17 @@
"schedule": {
"interval": "daily",
"time": "04:00"
},
},
"open-pull-requests-limit": 10,
"reviewers": [
"Gerg-L"
],
],
"assignees": [
"Gerg-L"
],
],
"labels": [
"CI"
]
}
]
}
]
}

View file

@ -5,8 +5,8 @@
"schedule": [
{
"cron": "0 1 * * *"
}
]
}
]
},
"jobs": {
"lockfile": {
@ -15,27 +15,27 @@
{
"name": "checkout",
"uses": "actions/checkout@v3.5.3"
},
{
"name": "install",
"uses": "DeterminateSystems/nix-installer-action@v4"
},
{
"name": "install",
"uses": "DeterminateSystems/nix-installer-action@v4"
},
{
"name": "update",
"uses": "DeterminateSystems/update-flake-lock@v19",
"with": {
"pr-title": "Update flake.lock",
"pr-labels": "CI"
}
},
{
"name": "merge",
"run": "gh pr merge ${{ steps.update.outputs.pull-request-number }} --squash --delete-branch\n",
"env": {
"GITHUB_TOKEN": "${{ secrets.GITHUB_TOKEN }}"
}
}
]
}
"name": "update",
"uses": "DeterminateSystems/update-flake-lock@v19",
"with": {
"pr-title": "Update flake.lock",
"pr-labels": "CI"
}
},
{
"name": "merge",
"run": "gh pr merge ${{ steps.update.outputs.pull-request-number }} --squash --delete-branch\n",
"env": {
"GITHUB_TOKEN": "${{ secrets.GITHUB_TOKEN }}"
}
}
]
}
}
}