From 7efb588e7a440ea9062e21a372a070248ea73612 Mon Sep 17 00:00:00 2001 From: Joris Kraak Date: Tue, 12 Mar 2024 22:04:32 +0100 Subject: [PATCH] ci: run documentation generation on Julia v1.10 This was a temporary work-around until the PR corresponding to this branch was merged, but it seems like a good idea to keep this pinned to the highest supported tested Julia version. --- .github/workflows/Documentation.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml index 031b03b..2c0760b 100644 --- a/.github/workflows/Documentation.yml +++ b/.github/workflows/Documentation.yml @@ -16,7 +16,7 @@ jobs: - uses: actions/checkout@v3 - uses: julia-actions/setup-julia@v1 with: - version: '1.7' + version: '1.10' - name: Install dependencies run: | julia --project=docs -e '