Skip to content

Merge pull request #163 from sumiya11/generic-coeffs #486

Merge pull request #163 from sumiya11/generic-coeffs

Merge pull request #163 from sumiya11/generic-coeffs #486

Workflow file for this run

name: Build and Deploy
on:
push:
branches:
- master
jobs:
build-and-deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
with:
persist-credentials: false
# NOTE: uncomment the following lines if you intend to use PyPlot
# - name: Install python
# uses: actions/setup-python@v1
# with:
# python-version: '3.8'
# - run: pip install matplotlib
- name: Install Julia
uses: julia-actions/setup-julia@v1
with:
version: 1 # Latest stable Julia version.
# NOTE
# Adjust the `input=""` on the last line to indicate where
# the source of the package page is (`page/` by default).
#
# Adjust also `output=""` on the last line if you want
# the page to be deployed in a specific folder on gh-pages
# if you do that, make sure that you adjust the `prepath`
# variable in `config.md` accordingly! so for instance
# if you set here `folder="web"` change prepath for
# `@def prepath = "YourPackage.jl/web"`
- run: julia -e '
using Pkg;
Pkg.add(["NodeJS", "PkgPage"]);
Pkg.add(url="https://github.com/sumiya11/Groebner.jl");
using NodeJS;
run(`$(npm_cmd()) install highlight.js purgecss`);
import PkgPage;
PkgPage.optimize(input="docs", output="")'
env:
GKSwstype: "100"
- name: Build and Deploy
uses: JamesIves/github-pages-deploy-action@releases/v3
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
FOLDER: docs/__site