59 lines
1.5 KiB
YAML
59 lines
1.5 KiB
YAML
# 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:
|
|
cd doc && nix-shell --run 'make all'
|
|
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@v1
|
|
#with:
|
|
#name: lib
|
|
#path: ./lib
|
|
|