Skip to content

Remove filtering of generated code, replace with panics. #781

Remove filtering of generated code, replace with panics.

Remove filtering of generated code, replace with panics. #781

Workflow file for this run

on:
pull_request:
jobs:
charon:
runs-on: ubuntu-latest
steps:
- uses: DeterminateSystems/nix-installer-action@main
- uses: actions/checkout@v4
with:
repository: AeneasVerif/charon
- run: |
cd charon
cargo update -p hax-frontend-exporter --precise ${{ github.sha }}
cargo update -p hax-frontend-exporter-options --precise ${{ github.sha }}
- run: nix build -L