Skip to content

Commit

Permalink
Merge branch 'develop'
Browse files Browse the repository at this point in the history
* develop:
  update gh-pages branch
  added fetch-depth: 0 to fetch all branches
  Update RELEASE.yml
  Update RELEASE.yml
  new release 2.0.2 to test ReleaseTools
  workaround for yarn caches on subprojects: from actions/setup-node#488 (comment)
  workaround for yarn caches on subprojects: from actions/setup-node#488 (comment)
  use yarn instead of npm
  revert changes from latest jupyterlab extension cookiecutter
  fix for #92 #93 and #94 added new workflow for releasetools
  fixed package info
  fixed dockerfile for binder
  fixed dockerfile for binder
  fixed dockerfile for binder
  fixed workflows fixed dockerfile for binder
  Fix unknown entity warnings (#90)
  Canvas test failures #91 fixed workflows fixed dockerfile for binder
  • Loading branch information
mcmartins committed Mar 14, 2023
2 parents 927ac9a + df0c4b9 commit 1af057b
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/RELEASE.yml
Original file line number Diff line number Diff line change
Expand Up @@ -67,9 +67,10 @@ 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 -v
git worktree add gh-pages origin/gh-pages
cd gh-pages && git checkout gh-pages && git pull && cd ..
# Copy JavaScript documentation
cp -rf doc/js gh-pages/doc/
# Run Release Script
GAP="$HOME/gap/bin/gap.sh" bash -x $HOME/ReleaseTools/release-gap-package --force --push --token ${GH_TOKEN}

0 comments on commit 1af057b

Please sign in to comment.