Skip to content

Rely on upstream fixes to disable systematic desugaring of array assi… #13

Rely on upstream fixes to disable systematic desugaring of array assi…

Rely on upstream fixes to disable systematic desugaring of array assi… #13

Workflow file for this run

name: Build Eurydice and run tests
on:
push:
pull_request:
jobs:
check:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
- uses: DeterminateSystems/nix-installer-action@main
- uses: DeterminateSystems/magic-nix-cache-action@main
- name: Build and test
run: nix flake check -L