From af3fd06ca21a5ea3d02ed45549215384412549ca Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Thu, 16 Jan 2025 15:45:15 -0800 Subject: [PATCH] Try all combinations --- .github/workflows/main.yml | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 32bf3a6..f67b042 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -16,12 +16,7 @@ jobs: matrix: os: [macos-latest, ubuntu-latest, windows-latest] dafny: [3.8.1, 3.13.1, 4.0.0, 4.9.1, nightly-2023-02-28-80a0e49, nightly-latest] - include: - # Test building from source from a subset of versions - - dafny: 4.0.0 - build-from-source: v4.0.0 - - dafny: 4.9.1 - build-from-source: v4.9.1 + build-from-source: ['', 'master'] steps: # The first call to `dotnet tool` on a fresh runner sometimes takes multiple minutes,