💚 Fixes Javadoc in CI.

crillab · Sep 14, 2023 · 18728b6 · 18728b6
1 parent 4f2bb94
commit 18728b6
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/publish-javadoc.yml b/.github/workflows/publish-javadoc.yml
@@ -15,3 +15,6 @@ jobs:
           javadoc-branch: javadoc
           java-version: 17
           project: gradle
+        env:
+          GITHUB_ACTOR: ${{ vars.GITHUB_ACTOR }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
diff --git a/README.md b/README.md
@@ -12,7 +12,7 @@ This tool may be useful for both solver developers and end-users, as it can
 be used either for debugging purposes and for finding the most appropriate
 configuration for solving a particular problems.
 
-![Logo of RCL.](./figures/logo-rcl.svg)
+![Logo of RCL.](./figures/logo-rcl.png)
 
 ## Building RCL from source