Revert 'Eliminate top level existentials in side-condtions' #4966

Sign in to view logs

Triggered via pull request August 1, 2023 10:05

goodlyrottenapple

synchronize #3620

sam/top-level-exist-elim-revert

Status Failure

Total duration 17m 40s

Artifacts –

test.yml

on: pull_request

Auto-formatting

Matrix: Nix / Unit Tests

Cabal / Unit Tests

Stack / Unit Tests

Stack / Haddock check

Nix / Integration

Annotations

2 errors

Nix / Unit Tests (ubuntu-22.04, ubuntu-22.04, x86_64-linux)

Process completed with exit code 1.

Nix / Unit Tests (macos-12, macos-12, x86_64-darwin)

Process completed with exit code 1.