dev #1

Merged
nocci merged 51 commits from dev into main 2026-03-06 16:31:29 +01:00
Showing only changes of commit f7822786df - Show all commits

View file

@ -95,10 +95,17 @@ jobs:
needs: [lint, sonar]
runs-on: self-hosted
steps:
- name: Network Debugging
run: |
cat /etc/resolv.conf
cat /etc/hosts
ping -c 4 server
getent hosts server
- name: Manual Git Checkout
run: |
git init
git remote add origin ${{ github.server_url }}/${{ github.repository }}.git
git remote add origin http://$(getent hosts server | awk '{ print $1 }')/${{ github.repository }}.git
git fetch --depth 1 origin ${{ github.ref }}
git checkout FETCH_HEAD
@ -107,7 +114,6 @@ jobs:
- name: Login to registry
run: echo "${{ secrets.REG_TOKEN }}" | docker login "${{ secrets.REGISTRY }}" -u "${{ secrets.REG_USER }}" --password-stdin
- name: Build image
run: |
docker buildx build --load \