Skip to content
Juvix Compiler CI

Negative tests for --new-typechecker #5800

Sign in to view logs

Negative tests for --new-typechecker

Negative tests for --new-typechecker #5800

Triggered via pull request November 28, 2023 15:44
@janmasrovirajanmasrovira
synchronize #2532
negative-tests-new-algorithm
Status Cancelled
Total duration 15s
Artifacts –

ci.yml

on: pull_request
build-and-test-linux
build-and-test-linux
build-and-test-macos
build-and-test-macos
ormolu
ormolu
pre-commit
pre-commit
Fit to window
Zoom out
Zoom in

Annotations

1 error
Juvix Compiler CI
Canceling since a higher priority waiting request for 'Juvix Compiler CI-negative-tests-new-algorithm' exists