Skip to content

fix(engine) Drop return/break/continue inside closures. #3297

fix(engine) Drop return/break/continue inside closures.

fix(engine) Drop return/break/continue inside closures. #3297

name: Install & test
on:
pull_request:
merge_group:
workflow_dispatch:
push:
branches: [main]
jobs:
tests:
name: nix-action
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: DeterminateSystems/nix-installer-action@main
- uses: cachix/cachix-action@v15
with:
name: hax
skipPush: true
- uses: DeterminateSystems/magic-nix-cache-action@main
- name: Build
run: nix build -L
- name: Install the toolchain
run: |
nix profile install nixpkgs#yq
nix profile install .#rustc
nix profile install .
- name: Ensure readme coherency
run: |
nix build .#check-readme-coherency -L
- name: Test the toolchain
run: |
nix build .#check-toolchain -L
- name: Test the examples
run: |
nix build .#check-examples -L
- name: Try to extract Rust By Examples
run: |
nix build .#rust-by-example-hax-extraction -L
- name: Checkout specifications
uses: actions/checkout@v3
with:
repository: 'hacspec/specs'
path: specs
- name: Push to Cachix
if: ${{ github.event_name == 'workflow_dispatch' || github.event_name == 'merge_group' }}
env:
CACHIX_AUTH_TOKEN: ${{ secrets.CACHIX_AUTH_TOKEN }}
run: |
nix build .# .#fstar --json \
| jq -r '.[].outputs | to_entries[].value' \
| cachix push hax