Skip to content

Accommodate Aya

Accommodate Aya #1

Workflow file for this run

name: Aya Playground CI
on:
push:
branches: [ main ]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
test-aya-examples:
name: Test Aya Examples
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ ubuntu-latest, macos-latest, windows-latest]
steps:
- uses: actions/checkout@v4
- name: Setup Aya
uses: aya-prover/setup-aya@latest
with:
version: 'nightly-build'
distribution: 'jlink'
build-from-source: 'false'
# - name: Show aya version
# run: aya --version
# - name: Show aya-lsp version
# run: aya-lsp --version
# - name: Show aya help
# run: aya --help
# - name: Show aya-lsp help
# run: aya-lsp --help
- name: Typechecking examples
run: |
cd aya
aya haskeller-tutorial.aya
aya prover-tutorial.aya