Skip to content
Juvix Compiler CI

Negative tests for --new-typechecker #5769

Sign in to view logs

Negative tests for --new-typechecker

Negative tests for --new-typechecker #5769

Triggered via pull request November 24, 2023 10:09
@janmasrovirajanmasrovira
synchronize #2532
negative-tests-new-algorithm
Status Failure
Total duration 20m 0s
Artifacts –

ci.yml

on: pull_request
pre-commit
10s
pre-commit
ormolu
20s
ormolu
build-and-test-linux
5m 45s
build-and-test-linux
build-and-test-macos
19m 48s
build-and-test-macos
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build-and-test-linux
Process completed with exit code 1.
build-and-test-macos
Process completed with exit code 1.