Skip to content

[refactor] Decl -> FuncDecl; move out from Syntax.Common (#414) #1

[refactor] Decl -> FuncDecl; move out from Syntax.Common (#414)

[refactor] Decl -> FuncDecl; move out from Syntax.Common (#414) #1

Workflow file for this run

name: Brat CI
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
build:
runs-on: ubuntu-latest
defaults:
run:
working-directory: src/
steps:
- uses: actions/checkout@v4
- uses: haskell/actions/setup@v1
with:
ghc-version: '9.6.4'
cabal-version: '3.4'
enable-stack: true
# from: https://raehik.github.io/2021/03/01/caching-stack-and-cabal-haskell-builds-on-github-actions.html
- uses: actions/cache@v4
with:
path: |
~/.stack
.stack-work
~/.cargo
# Rust dependencies
hugr_validator/target/deps
hugr_validator/target/build
# best effort for cache: tie it to Stack resolver and package config
key: ${{ runner.os }}-stack-${{ hashFiles('src/stack.yaml', 'hugr_validator/Cargo.toml') }}
restore-keys: |
${{ runner.os }}-stack
save-always: true
- name: Install dependencies
run: stack build --only-dependencies
- name: Build
run: stack build --ghc-options "-O0"
- name: Build stack tests
run: stack test --no-run-tests --no-run-benchmarks --ghc-options "-O0"
- name: Run stack tests
run: stack test --ta --hide-successes
# Validate the hugr outputs
- name: Install rust
uses: dtolnay/rust-toolchain@stable
with:
profile: minimal
- name: Install hugr_validator
run: cargo install --path ../hugr_validator
- name: Validate compilation output
run: tools/validate.sh