Pregroup trees: Fix order of atomic types for n.r @ s @ s.l @ n
#419
neiljdobuild_test.yml
on: pull_request
Matrix: lint
Matrix: build_and_test
Matrix: type_check
Annotations
8 errors
|
build_and_test (3.11)
Process completed with exit code 2.
|
|
build_and_test (3.10)
The operation was canceled.
|
|
build_and_test (3.10)
The strategy configuration was canceled because "build_and_test._3_11" failed
|
|
build_and_test (3.12)
The operation was canceled.
|
|
build_and_test (3.12)
The strategy configuration was canceled because "build_and_test._3_11" failed
|
|
type_check (3.10)
Process completed with exit code 1.
|
|
type_check (3.11)
Process completed with exit code 1.
|
|
type_check (3.12)
Process completed with exit code 1.
|