Skip to content

Fat JAR executable that generates C code from Rise programs #575

Fat JAR executable that generates C code from Rise programs

Fat JAR executable that generates C code from Rise programs #575

Workflow file for this run

name: Build and deploy documentation
on:
push:
branches: [ master ]
workflow_dispatch:
pull_request:
jobs:
check-documentation:
if: github.event_name != 'push'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Checkout submodules
run: git submodule update --init --recursive
- name: Check documentation
uses: docker://michelsteuwer/docker-scala-opencl:latest
with:
entrypoint: sbt
args: generateRISEPrimitives docs/mdoc
- uses: actions/setup-node@v2
with:
node-version: '12'
- name: Build Documentation
working-directory: docs-website
run: |
if [ -e yarn.lock ]; then
yarn install --frozen-lockfile
elif [ -e package-lock.json ]; then
npm ci
else
npm i
fi
npm run build
deploy-documentation:
if: github.event_name != 'pull_request'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Checkout submodules
run: git submodule update --init --recursive
- name: Check documentation
uses: docker://michelsteuwer/docker-scala-opencl:latest
with:
entrypoint: sbt
args: generateRISEPrimitives docs/mdoc
- uses: actions/setup-node@v2
with:
node-version: '12'
- name: Add key to allow access to repository
env:
SSH_AUTH_SOCK: /tmp/ssh_agent.sock
run: |
mkdir -p ~/.ssh
ssh-keyscan github.com >> ~/.ssh/known_hosts
echo "${{ secrets.GH_PAGES_DEPLOY }}" > ~/.ssh/id_rsa
chmod 600 ~/.ssh/id_rsa
cat <<EOT >> ~/.ssh/config
Host github.com
HostName github.com
IdentityFile ~/.ssh/id_rsa
EOT
- name: Release to Documentation to GitHub Pages
working-directory: docs-website
env:
USE_SSH: true
GIT_USER: git
DEPLOYMENT_BRANCH: gh-pages
run: |
git config --global user.email "[email protected]"
git config --global user.name "gh-actions"
if [ -e yarn.lock ]; then
yarn install --frozen-lockfile
elif [ -e package-lock.json ]; then
npm ci
else
npm i
fi
yarn deploy