Skip to content

refactor: definitions #5

refactor: definitions

refactor: definitions #5

Workflow file for this run

name: Test juvix-arm-specs
'on':
push:
branches:
- main
pull_request: null
workflow_dispatch: null
jobs:
test:
name: Run test suite
runs-on: ubuntu-latest
steps:
- name: checkout code
uses: actions/checkout@v3
- name: Download latest nightly Juvix binary
uses: jaxxstorm/[email protected]
with:
repo: anoma/juvix-nightly-builds
cache: enable
- name: Clean & Update Dependencies
run: juvix clean --global && juvix clean && juvix dependencies update
- name: Typecheck
run: juvix typecheck