Replace Bindlib by de Bruijn indices #2156
fblanquimain.yml
on: pull_request
build_vscode_extension
22s
Matrix: build_lambdapi
Annotations
9 errors
|
build_lambdapi (4.13.1)
Process completed with exit code 2.
|
|
build_lambdapi (4.12.1)
Process completed with exit code 2.
|
|
build_lambdapi (5.0.0)
Process completed with exit code 2.
|
|
build_lambdapi (4.09.1)
Process completed with exit code 2.
|
|
build_lambdapi (5.1.1)
Process completed with exit code 2.
|
|
build_lambdapi (4.10.2)
Process completed with exit code 2.
|
|
build_lambdapi (4.08.1)
Process completed with exit code 2.
|
|
build_lambdapi (4.14.1)
Process completed with exit code 2.
|
|
build_lambdapi (4.11.2)
Process completed with exit code 2.
|