Update

jump-dev · Mar 28, 2024 · 0cd55da · 0cd55da
1 parent 14b3755
commit 0cd55da
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -38,7 +38,11 @@ jobs:
         run: |
           import Pkg
           Pkg.add(; name = "Xpress_jll", version = ENV["XPRESS_JLL_VERSION"])
+          using Xpress_jll
+          filename = joinpath(dirname(dirname(Xpress_jll.libxprs)), "license", "community-xpauth.xpr")
+          write(filename, ENV["XPRESS_JL_COMMUNITY_XPAUTH_XPR"])
         env:
+          XPRESS_JL_COMMUNITY_XPAUTH_XPR: ${{ secrets.XPRESS_JL_COMMUNITY_XPAUTH_XPR }}
           XPRESS_JLL_VERSION: ${{ matrix.XPRESS_JLL_VERSION }}
       - uses: julia-actions/julia-runtest@v1
       - uses: julia-actions/julia-processcoverage@v1