diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml index 6220409..31d53f5 100644 --- a/.github/workflows/test.yaml +++ b/.github/workflows/test.yaml @@ -6,7 +6,7 @@ on: jobs: test-build: - if: ${{ contains(github.event.head_commit.message, 'git subrepo')}} + # if: ${{ contains(github.event.head_commit.message, 'git subrepo')}} runs-on: ubuntu-latest container: image: trustworthysystems/sel4 @@ -38,7 +38,7 @@ jobs: - name: Build Kernel run: cd kernel && ninja -C build sel4-test: - if: ${{ contains(github.event.head_commit.message, 'git subrepo')}} + # if: ${{ contains(github.event.head_commit.message, 'git subrepo')}} runs-on: ubuntu-latest strategy: matrix: