Skip to content

ci: make treefmt faster #183

ci: make treefmt faster

ci: make treefmt faster #183

Workflow file for this run

name: Run Tests
on: push
jobs:
integrity:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: nixbuild/nix-quick-install-action@v28
- name: Structural Integirty Test
run: cd test/integrity && ./bld.sh
format:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: nixbuild/nix-quick-install-action@v28
- name: Code Format Check
run: nix-shell -p treefmt --run "treefmt --fail-on-change"
std-config:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: nixbuild/nix-quick-install-action@v28
- name: Std Library Config Test
run: cd test/std-import && ./import.sh > /dev/null
features:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: nixbuild/nix-quick-install-action@v28
- name: Feature Parsing Test
run: cd test/features && ./resolve.sh > /dev/null
purity:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: nixbuild/nix-quick-install-action@v28
- name: Purity Integrity Test
run: cd test/purity && ./purity.sh
pre-semantics:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: nixbuild/nix-quick-install-action@v28
- name: Test `pre` Access & Private Semantics
run: cd test && ./pre.sh