Try all combinations

dafny-lang · Jan 16, 2025 · af3fd06 · af3fd06
1 parent ba42dd7
commit af3fd06
Showing 1 changed file with 1 addition and 6 deletions.
diff --git 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,