From 649e65ba8bec1527e04bb1895db932c18106f330 Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Wed, 1 May 2024 12:43:29 -0700 Subject: [PATCH] Debugging on fork --- .github/workflows/daily-soak-test-build.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/daily-soak-test-build.yml b/.github/workflows/daily-soak-test-build.yml index a7b23a34143..b9824de0b23 100644 --- a/.github/workflows/daily-soak-test-build.yml +++ b/.github/workflows/daily-soak-test-build.yml @@ -17,7 +17,6 @@ on: jobs: daily-soak-build-for-master: - if: github.repository_owner == 'dafny-lang' uses: ./.github/workflows/xunit-tests-reusable.yml with: soak_test: true