Skip to content

200 - Collect constraints in equation state, abort execution on ensures(false) #923

200 - Collect constraints in equation state, abort execution on ensures(false)

200 - Collect constraints in equation state, abort execution on ensures(false) #923

Triggered via pull request July 11, 2023 06:39
Status Cancelled
Total duration 38s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test.yml

on: pull_request
Stack / Unit Tests
5s
Stack / Unit Tests
Cabal / Unit Tests
4s
Cabal / Unit Tests
Formatting and Style
7s
Formatting and Style
Matrix: Nix / All Tests
Fit to window
Zoom out
Zoom in

Annotations

12 errors
Nix / All Tests (MacM1, self-macos-12, aarch64-darwin)
Canceling since a higher priority waiting request for 'Build + Test-200-collect-constraints-in-equation-state' exists
Nix / All Tests (macos-12, macos-12, x86_64-darwin)
Canceling since a higher priority waiting request for 'Build + Test-200-collect-constraints-in-equation-state' exists
Nix / All Tests (macos-12, macos-12, x86_64-darwin)
A task was canceled.
Cabal / Unit Tests
Canceling since a higher priority waiting request for 'Build + Test-200-collect-constraints-in-equation-state' exists
Cabal / Unit Tests
Process completed with exit code 1.
Cabal / Unit Tests
The operation was canceled.
Stack / Unit Tests
Canceling since a higher priority waiting request for 'Build + Test-200-collect-constraints-in-equation-state' exists
Stack / Unit Tests
The operation was canceled.
Stack / Unit Tests
Process completed with exit code 1.
Nix / All Tests (self-hosted, linux, normal, Ubuntu-22.04, x86_64-linux)
Canceling since a higher priority waiting request for 'Build + Test-200-collect-constraints-in-equation-state' exists
Formatting and Style
The operation was canceled.