Starting new deployment pipeline.

This commit is contained in:
2024-12-24 07:27:07 -05:00
parent b798e51717
commit 8101358731
+1 -1
View File
@@ -25,4 +25,4 @@ jobs:
- name: PR list
run: |
echo "PRs: ${{ steps.pr-check.outputs.json }}"
echo "${{ github.repository }}\n${{ github.server_url}}\n\n${{ gitea.repository }}\n${{ gitea.server_url }}"
echo -e "${{ github.repository }}\n${{ github.server_url}}\n\n${{ gitea.repository }}\n${{ gitea.server_url }}"