-
Notifications
You must be signed in to change notification settings - Fork 7
75 lines (71 loc) · 3.06 KB
/
RELEASE.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
name: RELEASE
# Trigger the workflow on push or pull request
on:
push:
branches:
- master
# the `concurrency` settings ensure that not too many CI jobs run in parallel
concurrency:
# group by workflow and ref; the last slightly strange component ensures that for pull
# requests, we limit to 1 concurrent job, but for the master branch we don't
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/master' || github.run_number }}
# Cancel intermediate builds, but only if it is a pull request build.
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
jobs:
gap_release_tools:
name: Build and Publish manuals
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Configure ZMQ repos
run: |
sudo touch /etc/apt/sources.list.d/opensuse.list &&
echo "deb https://download.opensuse.org/repositories/network:/messaging:/zeromq:/release-stable/Debian_9.0/ ./" | sudo tee -a /etc/apt/sources.list.d/opensuse.list
wget https://download.opensuse.org/repositories/network:/messaging:/zeromq:/release-stable/Debian_9.0/Release.key -O- | sudo apt-key add
- name: Install ZMQ
run: |
sudo apt update &&
sudo apt install libzmq3-dev -y
- name: Install TeXLive
run: |
sudo apt-get install --no-install-recommends texlive-latex-base texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
- uses: gap-actions/setup-gap@v2
with:
GAP_PKGS_TO_BUILD: "datastructures uuid json io crypting zeromqinterface jupyterkernel"
GAPBRANCH: master
- name: Use Node.js ${{ matrix.node-version }}
uses: actions/setup-node@v3
with:
node-version: ${{ matrix.node-version }}
registry-url: 'https://registry.npmjs.org'
- name: Get yarn cache directory path
id: yarn-cache-dir-path
run: echo "dir=$(yarn config get cacheFolder)" >> $GITHUB_OUTPUT
shell: bash
working-directory: js
- name: Restore yarn cache
uses: actions/cache@v3
with:
path: ${{ steps.yarn-cache-dir-path.outputs.dir }}
key: yarn-cache-folder-${{ hashFiles('**/yarn.lock', '.yarnrc.yml') }}
restore-keys: |
yarn-cache-folder-
- run: yarn install --frozen-lockfile
working-directory: js
- run: yarn run docs
working-directory: js
- name: GAPTools Release
env:
GH_TOKEN: ${{ secrets.GH_TOKEN }}
run: |
# 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
# 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}