Refactor unpacking #56
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: build | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main] | |
| jobs: | |
| tests: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Clone fixpoint | |
| run: | | |
| git clone https://github.com/ucsd-progsys/liquid-fixpoint | |
| echo "fixpoint_hash=$(git -C liquid-fixpoint/ rev-parse HEAD)" >> $GITHUB_ENV | |
| echo "local_binaries_path=$(pwd)/local-binaries" >> $GITHUB_ENV | |
| - name: Cache fixpoint | |
| uses: actions/[email protected] | |
| id: cache-fixpoint | |
| with: | |
| path: local-binaries | |
| key: fixpoint-bin-${{ runner.os }}-${{ env.fixpoint_hash }} | |
| - name: Install Haskell | |
| if: steps.cache-fixpoint.outputs.cache-hit != 'true' | |
| uses: haskell/actions/[email protected] | |
| with: | |
| enable-stack: true | |
| stack-version: "latest" | |
| - name: Compile fixpoint | |
| if: steps.cache-fixpoint.outputs.cache-hit != 'true' | |
| run: | | |
| cd liquid-fixpoint | |
| stack install --fast --local-bin-path "$local_binaries_path" | |
| - name: Install Z3 | |
| uses: cda-tum/[email protected] | |
| with: | |
| version: 4.12.1 | |
| platform: linux | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Add Fixpoint to the path | |
| run: | | |
| echo "$local_binaries_path" >> $GITHUB_PATH | |
| - name: Rust Cache | |
| uses: Swatinem/[email protected] | |
| - name: Build | |
| run: | | |
| cargo build | |
| - name: Run tests | |
| run: | | |
| which fixpoint && cargo xtask test | |
| lint: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Rust Cache | |
| uses: Swatinem/[email protected] | |
| - name: Rust rustfmt | |
| run: cargo fmt --check | |
| - name: Install codesync | |
| run: cargo install --git https://github.com/nilehmann/codesync | |
| - name: Run codesync | |
| run: codesync check | |
| clippy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Add clippy | |
| run: rustup component add clippy | |
| - name: Rust Cache | |
| uses: Swatinem/[email protected] | |
| - name: Run clippy | |
| uses: actions-rs/[email protected] | |
| with: | |
| token: ${{ secrets.GITHUB_TOKEN }} |