File tree Expand file tree Collapse file tree 1 file changed +2
-12
lines changed
Expand file tree Collapse file tree 1 file changed +2
-12
lines changed Original file line number Diff line number Diff line change 2222
2323 - name : Build GNNGraphs docs
2424 run :
25- julia --project=GNNGraphs/docs/ -e '
26- using Pkg;
27- pkg"dev ./GNNGraphs";
28- Pkg.instantiate();
29- include("GNNGraphs/docs/make.jl")'
25+ julia --project=GNNGraphs/docs/ GNNGraphs/docs/make.jl
3026 env :
3127 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
3228 DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }}
6864 using Pkg;
6965 pkg"dev ./GraphNeuralNetworks ./GNNlib ./GNNGraphs ./GNNLux";
7066 Pkg.instantiate();'
71- - name : Check if objects.inv exists for GraphNeuralNetworks
72- run : |
73- if [ -f GraphNeuralNetworks/docs/build/objects.inv ]; then
74- echo "GraphNeuralNetworks: objects.inv exists."
75- else
76- echo "GraphNeuralNetworks: objects.inv does not exist!" && exit 1
77- fi
67+
7868 - name : Config git
7969 env :
8070 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
You can’t perform that action at this time.
0 commit comments