From 3c931df1f0f099b4780c2407aa47e900801e9478 Mon Sep 17 00:00:00 2001 From: Manuel Martins Date: Fri, 10 Mar 2023 20:28:23 +0100 Subject: [PATCH] gh-pages (#100) * Canvas test failures #91 fixed workflows fixed dockerfile for binder * Fix unknown entity warnings (#90) * fixed workflows fixed dockerfile for binder * fixed dockerfile for binder * fixed dockerfile for binder * fixed dockerfile for binder * fixed package info * fix for #92 #93 and #94 added new workflow for releasetools * revert changes from latest jupyterlab extension cookiecutter * use yarn instead of npm * workaround for yarn caches on subprojects: from https://github.com/actions/setup-node/issues/488#issue-1231822552 * workaround for yarn caches on subprojects: from https://github.com/actions/setup-node/issues/488#issue-1231822552 * new release 2.0.2 to test ReleaseTools * Update RELEASE.yml use already present gh-pages branch * Update RELEASE.yml --------- Co-authored-by: Manuel Martins Co-authored-by: Jerry James --- .github/workflows/RELEASE.yml | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/.github/workflows/RELEASE.yml b/.github/workflows/RELEASE.yml index 9268483..92b9d42 100644 --- a/.github/workflows/RELEASE.yml +++ b/.github/workflows/RELEASE.yml @@ -65,12 +65,8 @@ jobs: # Clone Release tools git clone --depth=2 -b master https://github.com/gap-system/ReleaseTools $HOME/ReleaseTools # Add a new remote pointing to the GitHubPagesForGAP repository - # git remote add gh-gap https://github.com/gap-system/GitHubPagesForGAP - # git fetch gh-gap - # Create a fresh gh-pages branch from the new remote - # git branch gh-pages gh-gap/gh-pages --no-track - # Create a new worktree and change into it - git worktree add gh-pages gh-pages + git remote -v + git worktree add gh-pages origin/gh-pages # Copy JavaScript documentation cp -rf doc/js gh-pages/doc/ # Run Release Script