Fix the sync-2025-10-09 PR #41
This file contains hidden or 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: Flux | |
| on: | |
| workflow_dispatch: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main, sync-2025-10-09] | |
| env: | |
| FLUX_VERSION: "6b080b32801f923bfb590ac48e729de38f829f21" | |
| FIXPOINT_VERSION: "nightly-10-15-2025" | |
| jobs: | |
| check-flux-on-core: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: true | |
| - name: Local Binaries | |
| run: | | |
| mkdir -p ~/.local/bin | |
| echo ~/.cargo/bin >> $GITHUB_PATH | |
| echo ~/.local/bin >> $GITHUB_PATH | |
| - name: Download and install fixpoint | |
| run: | | |
| set -e | |
| NAME="fixpoint-x86_64-linux-gnu.tar.gz" | |
| URL="https://github.com/ucsd-progsys/liquid-fixpoint/releases/download/${FIXPOINT_VERSION}/${NAME}" | |
| echo "Downloading from $URL" | |
| curl -fsSL --retry 3 -o "$NAME" "$URL" | |
| echo "Extracting archive" | |
| tar -xzf "$NAME" | |
| mkdir -p ~/.local/bin | |
| cp fixpoint ~/.local/bin/fixpoint | |
| echo "Cleaning up" | |
| rm -f "$NAME" | |
| - name: Install Z3 | |
| uses: cda-tum/[email protected] | |
| with: | |
| version: 4.12.1 | |
| platform: linux | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Clone Flux | |
| run: | | |
| git clone https://github.com/flux-rs/flux.git | |
| cd flux | |
| git checkout $FLUX_VERSION | |
| - name: Rust Cache | |
| uses: Swatinem/[email protected] | |
| with: | |
| workspaces: flux | |
| - name: Install Flux | |
| run: | | |
| cd flux | |
| cargo x install | |
| - name: Verify Core | |
| run: | | |
| cd library | |
| FLUXFLAGS="-Ftimings" cargo flux -p core |