[CI] Sign into registry

This commit is contained in:
2025-12-22 18:29:49 +01:00
parent 7bf361ccd4
commit ca9fd7a66f

View File

@@ -10,6 +10,12 @@ jobs:
steps:
- name: Set up Git repository
uses: actions/checkout@v6
- name: Sign into gitea registry
uses: https://github.com/docker/login-action
with:
username: ${{ vars.REGISTRY_USER_USERNAME }}
username: ${{ secrets.REGISTRY_USER_PASSWORD }}
registry: ${{ vars.REGISTRY_BASE_URL }}
- name: Run build
uses: actions/latex@v1
with: