Skip to content

Commit 09f656b

Browse files
authored
Fix Documentation workflow
1 parent 058336b commit 09f656b

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

.github/workflows/Documentation.yml

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -22,8 +22,9 @@ on:
2222
required: false
2323
type: string
2424
localregistry:
25-
description: 'Add local registries hosted on GitHub. Specified by providing the url (https/ssh) to the repositories as a newline (\n) seperated list.
26-
User is responsible for setting up the necessary SSH-Keys to access the repositories if necessary.'
25+
type: string
26+
required: false
27+
description: 'Add local registries hosted on GitHub. Specified by providing the url (https/ssh) to the repositories as a newline (\n) seperated list. User is responsible for setting up the necessary SSH-Keys to access the repositories if necessary.'
2728
default: ''
2829
self-hosted:
2930
description: "Run the job needs on a self hosted machine"
@@ -76,7 +77,7 @@ jobs:
7677
shell: julia --project=docs --color=yes {0}
7778
run: |
7879
import Pkg
79-
Pkg.develop(PackageSpec(path=pwd()))
80+
Pkg.develop(Pkg.PackageSpec(path=pwd()))
8081
if VERSION >= v"1.8-"
8182
Pkg.Registry.add()
8283
else

0 commit comments

Comments
 (0)