Is the github.ref filled inside a merge_group

DOMjudge · Nov 22, 2024 · 4529245 · 4529245
1 parent dab32f1
commit 4529245
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/webstandard.yml b/.github/workflows/webstandard.yml
@@ -50,6 +50,7 @@ jobs:
             db: install
     steps:
       - uses: actions/checkout@v4
+      - run: echo "${{ github.ref }}"
       - name: Install DOMjudge
         run: .github/jobs/baseinstall.sh ${{ matrix.role }}
       - name: Run webstandard tests (W3C, WCAG)