Idris2/.github/workflows/ci-ubuntu-bootstrap-scheme.yml

name: Ubuntu CI bootstrap scheme
on:
  push:
    branches:
      - '*'
    tags:
      - '*'
  pull_request:
    branches:
      - master

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v2
      - name: Install build dependencies
        run: |
          sudo apt-get install -y chezscheme
      - name: Build from bootstrap
        run: make bootstrap SCHEME=scheme
        shell: bash