Skip to content

Deriving Eq

Deriving Eq #655

Workflow file for this run

name: Juvix standard library CI
on:
push:
branches:
- main
pull_request:
branches:
- main
types:
- opened
- reopened
- synchronize
- ready_for_review
schedule:
- cron: '0 3 * * 1'
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout Juvix
uses: actions/checkout@v3
with:
repository: anoma/juvix
path: juvix
submodules: true
- name: install LLVM
run: |
sudo apt install llvm
- name: Make runtime
run: |
cd juvix
make runtime
- name: Stack setup
id: stack
uses: freckle/stack-action@v4
with:
working-directory: juvix
test: false
fast: false
- name: Install Juvix
run: |
cd juvix
echo "$GITHUB_WORKSPACE/.local/bin" >> $GITHUB_PATH
stack install
- name: Checkout Std Library
uses: actions/checkout@v3
- name : Typecheck library code
run : make check
- name: HTML
run: make html
- name: test
run: make test
- name: check-format-and-typecheck-all
shell: bash
run: |
make check-format && make typecheck
- name: Deploy HTML to github pages
uses: peaceiris/actions-gh-pages@v3
if: >-
github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs
enable_jekyll: false