From 67d29cd5749cfa8cb2f41868df80a6de9fed372c Mon Sep 17 00:00:00 2001 From: Carlo Lucibello Date: Mon, 2 Dec 2024 07:58:00 +0100 Subject: [PATCH] update --- .github/workflows/multidocs.yml | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/.github/workflows/multidocs.yml b/.github/workflows/multidocs.yml index 140c184fc..46418813d 100644 --- a/.github/workflows/multidocs.yml +++ b/.github/workflows/multidocs.yml @@ -61,16 +61,6 @@ jobs: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} - # Build tutorials - - name: Install dependencies for tutorials - run: julia --project=tutorials/docs/ -e ' - using Pkg; - pkg"dev ./GraphNeuralNetworks ./GNNlib ./GNNGraphs"; - Pkg.instantiate(); - include("tutorials/docs/make.jl")' - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token - DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # Build and deploy multidocs - name: Install dependencies for multidocs