Typecheck else
expression of let-else
to ensure it diverges
#8925
ccpp.yml
on: pull_request
build-and-check-ubuntu-64bit
13m 18s
build-and-check-ubuntu-64bit-glibcxx
7m 46s
build-and-check-ubuntu-32bit
12m 49s
build-and-check-gcc-5
14m 31s
build-and-check-asan
13m 0s
Annotations
5 errors
build-and-check-ubuntu-64bit-glibcxx
Process completed with exit code 2.
|
build-and-check-asan
Process completed with exit code 2.
|
build-and-check-gcc-5
Process completed with exit code 2.
|
build-and-check-ubuntu-32bit
Process completed with exit code 2.
|
build-and-check-ubuntu-64bit
Process completed with exit code 2.
|