Starting new deployment pipeline.

This commit is contained in:
2024-12-24 07:10:41 -05:00
parent 52310fb83f
commit 028140dc11
+4
View File
@@ -25,3 +25,7 @@ jobs:
token: ${{ secrets.BOT_GITEA_TOKEN }}
server_url: ${{ github.server_url }}
state: open
- name: PR list
run: |
echo "PRs: ${{ steps.cc-pr.outputs.json }}"