add test for julia instal and mtime maintenance

.github/workflows/example-builds-defaultarch.yml

@@ -44,3 +44,18 @@ jobs:
           version: ${{ matrix.julia-version }}
       - run: julia --version
       - run: julia --compile=min -O0 -e 'import InteractiveUtils; InteractiveUtils.versioninfo()'
+      - name: "Check that the correct julia is used and that archive mtimes are maintained"
+        run: |
+          if !occursin("hostedtoolcache", Sys.BINDIR)
+            error("the wrong julia is being used: $Sys.BINDIR")
+          end
+        shell: julia --startup-file=no --color=yes {0}
+      - name: "Check that archive mtimes are maintained"
+        run: |
+          using MbedTLS_jll
+          src = pkgdir(MbedTLS_jll, "src", "MbedTLS_jll.jl")
+          # mtime is when it's compacted, ctime is when the file is extracted
+          if !<(mtime(src), ctime(src))
+            error("source mtime ($(mtime(src))) is not earlier than ctime ($(ctime(src)))")
+          end
+        shell: julia --startup-file=no --color=yes {0}

.github/workflows/example-builds-nightly-defaultarch.yml

@@ -42,3 +42,15 @@ jobs:
           version: ${{ matrix.julia-version }}
       - run: julia --version
       - run: julia --compile=min -O0 -e 'import InteractiveUtils; InteractiveUtils.versioninfo()'
+      - name: "Check that the correct julia is used and that archive mtimes are maintained"
+        run: |
+          if !occursin("hostedtoolcache", Sys.BINDIR)
+            error("the wrong julia is being used: $Sys.BINDIR")
+          end
+          using MbedTLS_jll
+          src = pkgdir(MbedTLS_jll, "src", "MbedTLS_jll.jl")
+          # mtime is when it's compacted, ctime is when the file is extracted
+          if !<(mtime(src), ctime(src))
+            error("source mtime ($(mtime(src))) is not earlier than ctime ($(ctime(src)))")
+          end
+        shell: julia --startup-file=no --color=yes {0}

.github/workflows/example-builds-nightly.yml

@@ -50,3 +50,17 @@ jobs:
           arch: ${{ matrix.julia-arch }}
       - run: julia --version
       - run: julia --compile=min -O0 -e 'import InteractiveUtils; InteractiveUtils.versioninfo()'
+      - name: "Check that the correct julia is used"
+        run: julia -e 'occursin("hostedtoolcache", Sys.BINDIR) || error()'
+      - name: "Check that the correct julia is used and that archive mtimes are maintained"
+        run: |
+          if !occursin("hostedtoolcache", Sys.BINDIR)
+            error("the wrong julia is being used: $Sys.BINDIR")
+          end
+          using MbedTLS_jll
+          src = pkgdir(MbedTLS_jll, "src", "MbedTLS_jll.jl")
+          # mtime is when it's compacted, ctime is when the file is extracted
+          if !<(mtime(src), ctime(src))
+            error("source mtime ($(mtime(src))) is not earlier than ctime ($(ctime(src)))")
+          end
+        shell: julia --startup-file=no --color=yes {0}

.github/workflows/example-builds.yml

@@ -50,3 +50,15 @@ jobs:
           arch: ${{ matrix.julia-arch }}
       - run: julia --version
       - run: julia --compile=min -O0 -e 'import InteractiveUtils; InteractiveUtils.versioninfo()'
+      - name: "Check that the correct julia is used and that archive mtimes are maintained"
+        run: |
+          if !occursin("hostedtoolcache", Sys.BINDIR)
+            error("the wrong julia is being used: $Sys.BINDIR")
+          end
+          using MbedTLS_jll
+          src = pkgdir(MbedTLS_jll, "src", "MbedTLS_jll.jl")
+          # mtime is when it's compacted, ctime is when the file is extracted
+          if !<(mtime(src), ctime(src))
+            error("source mtime ($(mtime(src))) is not earlier than ctime ($(ctime(src)))")
+          end
+        shell: julia --startup-file=no --color=yes {0}