mirror of
https://github.com/anoma/juvix.git
synced 2024-12-12 14:28:08 +03:00
127 lines
3.3 KiB
YAML
127 lines
3.3 KiB
YAML
name: MiniJuvix CI
|
|
|
|
on:
|
|
push:
|
|
branches: [ master , develop , qtt ]
|
|
pull_request:
|
|
branches: [ master ]
|
|
|
|
jobs:
|
|
docs:
|
|
runs-on: macOS-latest
|
|
steps:
|
|
- name: Checkout the main repository
|
|
uses: actions/checkout@v2
|
|
with:
|
|
path: main
|
|
|
|
- uses: r-lib/actions/setup-pandoc@v1
|
|
with:
|
|
pandoc-version: '2.13'
|
|
- run: echo "# Test" | pandoc -t html
|
|
|
|
- name: Generate HTML
|
|
id: html
|
|
run: |
|
|
cd main
|
|
make docs
|
|
rm docs/README.md
|
|
|
|
- name: Deploy HTML to github pages
|
|
if: steps.html.outputs.cache-hit != 'true'
|
|
uses: peaceiris/actions-gh-pages@v3
|
|
with:
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
publish_dir: main/docs
|
|
enable_jekyll: true
|
|
|
|
# build:
|
|
# runs-on: ${{ matrix.os }}
|
|
# strategy:
|
|
# matrix:
|
|
# os: [ ubuntu-latest , macOS-latest ]
|
|
# ghc: ["8.10.7"]
|
|
# agda: ["2.6.2"]
|
|
|
|
# steps:
|
|
# - uses: actions/cache@v2
|
|
# name: Caching
|
|
# id: cache
|
|
# env:
|
|
# cache-name: cache-env
|
|
# with:
|
|
# path: |
|
|
# ~/.cabal
|
|
# dist-newstyle
|
|
# main/.hie
|
|
# main/dist-newstyle
|
|
# main/cabal-dev
|
|
# main/_build/
|
|
# main/.stack-work/
|
|
# agda/
|
|
# agda2hs/
|
|
# key: ${{ runner.os }}-build-${{ matrix.agda }}-${{ matrix.ghc }}-${{ hashFiles('main/src/**') }}
|
|
# restore-keys: |
|
|
# ${{ runner.os }}-build-${{ matrix.agda }}-${{ matrix.ghc }}-
|
|
# ${{ runner.os }}-build-${{ matrix.agda }}-
|
|
# ${{ runner.os }}-
|
|
|
|
# - uses: haskell/actions/setup@v1
|
|
# name: Setup Haskell
|
|
# with:
|
|
# ghc-version: ${{ matrix.ghc }}
|
|
|
|
# - name: Add .cabal/bin into PATH
|
|
# run:
|
|
# echo "$HOME/.cabal/bin" >> $GITHUB_PATH
|
|
# shell: bash
|
|
|
|
# - uses: actions/checkout@v2
|
|
# name: Checkout Agda repository
|
|
# if: steps.cache.outputs.cache-hit != 'true'
|
|
# with:
|
|
# repository: agda/agda
|
|
# path: agda
|
|
# ref: ${{ matrix.agda }}
|
|
|
|
# - name: Install Agda
|
|
# if: steps.cache.outputs.cache-hit != 'true'
|
|
# run: |
|
|
# cd agda
|
|
# touch doc/user-manual.pdf
|
|
# cabal install --overwrite-policy=always --ghc-options='-O2 +RTS -M6G -RTS' -foptimise-heavily
|
|
# shell: bash
|
|
|
|
# - uses: actions/checkout@v2
|
|
# name: Checkout Agda2HS repository
|
|
# if: steps.cache.outputs.cache-hit != 'true'
|
|
# with:
|
|
# repository: agda/agda2hs
|
|
# path: agda2hs
|
|
# ref: ${{ matrix.agda }}
|
|
|
|
# - name: Install Agda2HS
|
|
# if: steps.cache.outputs.cache-hit != 'true'
|
|
# run: |
|
|
# cd agda2hs
|
|
# make install
|
|
|
|
# - name: Checkout our repository
|
|
# uses: actions/checkout@v2
|
|
# with:
|
|
# path: main
|
|
|
|
# - name: Verify the Agda files in it
|
|
# if: steps.cache.outputs.cache-hit != 'true'
|
|
# id: check-agda
|
|
# run: |
|
|
# cd main
|
|
# make agda
|
|
|
|
# - name: Build the Haskell project
|
|
# run: cabal update
|
|
# make cabal
|
|
|
|
# - name: Run tests
|
|
# run: cabal test all
|