Starting new deployment pipeline.

This commit is contained in:
2024-12-24 07:11:30 -05:00
parent 028140dc11
commit f8d50d454c
+1 -1
View File
@@ -24,7 +24,7 @@ jobs:
repository: ${{ github.repository }}
token: ${{ secrets.BOT_GITEA_TOKEN }}
server_url: ${{ github.server_url }}
state: open
state: all
- name: PR list
run: |