Skip to content
Build + Test

DRAFT of simplify-implication RPC endpoint #985

Sign in to view logs

DRAFT of simplify-implication RPC endpoint

DRAFT of simplify-implication RPC endpoint #985

Triggered via pull request July 25, 2023 15:25
@geo2ageo2a
synchronize #239
georgy/simplify-implication
Status Failure
Total duration 19m 34s
Artifacts –

test.yml

on: pull_request
Stack / Unit Tests
11m 58s
Stack / Unit Tests
Cabal / Unit Tests
4m 49s
Cabal / Unit Tests
Formatting and Style
20s
Formatting and Style
Matrix: Nix / All Tests
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Nix / All Tests (self-hosted, linux, normal, Ubuntu-22.04, x86_64-linux)
Process completed with exit code 1.
Nix / All Tests (MacM1, self-macos-12, aarch64-darwin)
Process completed with exit code 127.
Cabal / Unit Tests
Process completed with exit code 1.
Stack / Unit Tests
Process completed with exit code 1.
Nix / All Tests (macos-12, macos-12, x86_64-darwin)
Process completed with exit code 1.