Test all releases

leanprover · Aug 9, 2024 · 23583f8 · 23583f8
1 parent ebb969f
commit 23583f8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,6 +9,9 @@ jobs:
     strategy:
       matrix:
         toolchain:
+          - "4.0.0"
+          - "4.1.0"
+          - "4.2.0"
           - "4.3.0"
           - "4.4.0"
           - "4.5.0"