Merge branch 'main' into cp-lb

2026-06-10 15:48:22 -07:00 · 2022-03-05 20:55:51 +01:00
parent 430a6650e0 6174cad334
commit 1ac1ed661e
1 changed files with 0 additions and 1 deletions
@@ -201,7 +201,6 @@ jobs:
  gnu_coverage:
    name: Run GNU tests with coverage
    runs-on: ubuntu-latest
-    if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
    steps:
    - name: Checkout code uutil
      uses: actions/checkout@v2