Update ci.yml

JuliaRegistries · Aug 27, 2022 · 437edf3 · 437edf3
1 parent 7751abd
commit 437edf3
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -28,7 +28,7 @@ jobs:
         os:
           - ubuntu-latest
         include:
-          - version: '1.7.2'
+          - version: '1.7.3'
             force_use_of_manifest: 'true'
             os: 'ubuntu-latest'
     steps:
@@ -37,8 +37,18 @@ jobs:
         with:
           version: ${{ matrix.version }}
       - run: |
+          import Pkg
+          import TOML
           force_use_of_manifest = ${{ matrix.force_use_of_manifest }}
-          if !force_use_of_manifest
+          if force_use_of_manifest
+            a = TOML.parsefile("Manifest.toml")
+            b = a["julia_version"]
+            manifest_julia_version = VersionNumber(b)
+            if manifest_julia_version != Base.VERSION
+              msg = "Manifest Julia version $(manifest_julia_version) does not match current Julia version $(Base.VERSION)"
+              error(msg)
+            end
+          else
             rm("Manifest.toml")
           end
         shell: julia --color=yes {0}