Skip to content

Test

Test #858

Workflow file for this run

name: Test
on:
push:
branches:
- main
pull_request:
schedule:
- cron: '0 1 * * *'
jobs:
stable-idris:
runs-on: ubuntu-latest
container: mattpolzin2/idris-docker:latest
steps:
- name: Install Dependencies
run: apt-get update && apt-get -y install git
- name: Checkout
uses: actions/checkout@v3
- name: Build
shell: bash
run: make
# - name: Test
# run: make test
nightly-idris:
runs-on: ubuntu-latest
container: mattpolzin2/idris-docker:nightly
steps:
- name: Install Dependencies
run: apt-get update && apt-get -y install git
- name: Checkout
uses: actions/checkout@v3
- name: Build
shell: bash
run: make
# - name: Test
# run: make test