# This is a basic workflow to help you get started with Actions

name: CI

# Controls when the action will run. Triggers the workflow on push or pull request
# events but only for the master branch
on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]

# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
  # This workflow contains a single job called "build"
  build:
    # The type of runner that the job will run on
    runs-on: ubuntu-latest

    # Steps represent a sequence of tasks that will be executed as part of the job
    steps:
    # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
    - uses: actions/checkout@v2.3.4

    - name: Install Nix
      uses: cachix/install-nix-action@v13
      with:
        nix_path: nixpkgs=channel:nixos-unstable

    - name: Tangle
      run: nix-shell --run 'make tangle'

    - name: Build external dependencies
      run: nix-shell --run 'make extern'

    - name: Build lib
      run: nix-shell --run 'make lib'

    - name: Build bench
      run: nix-shell --run 'make bench'

    - name: create doc
      run: mkdir doc && cd doc && echo hello world > index.html

    - name: Deploy
      uses: JamesIves/github-pages-deploy-action@4.1.0
      with:
         branch: gh-pages
         folder: ./doc

    - name: Upload dist
      uses: actions/upload-artifacts@v2
      with:
        name: lib.tar.gz
        path: lib