Skip to content

Commit 48340c2

Browse files
authored
Update Documentation.yml
1 parent ad8dcb1 commit 48340c2

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/Documentation.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,4 +23,5 @@ jobs:
2323
env:
2424
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
2525
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
26+
GUROBI_JL_SKIP_LIB_CHECK: true
2627
run: julia --project=docs/ docs/make.jl

0 commit comments

Comments
 (0)