Skip to content

lpLexer: fix definition of int (#1183) #2461

lpLexer: fix definition of int (#1183)

lpLexer: fix definition of int (#1183) #2461

Triggered via push January 25, 2025 11:32
Status Failure
Total duration 15m 38s
Artifacts 1

main.yml

on: push
Matrix: lambdapi
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 12 warnings
lambdapi (4.09.1)
Process completed with exit code 2.
lambdapi (5.1.1)
Process completed with exit code 2.
lambdapi (4.10.2)
Process completed with exit code 2.
lambdapi (4.14.2)
Process completed with exit code 2.
lambdapi (4.11.2)
Process completed with exit code 2.
lambdapi (4.12.1)
Process completed with exit code 2.
lambdapi (5.2.1)
Process completed with exit code 2.
lambdapi (5.0.0)
Process completed with exit code 2.
lambdapi (4.13.1)
Process completed with exit code 2.
lambdapi (5.3.0)
Process completed with exit code 2.
vscode
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
vscode
This extension consists of 2211 files, out of which 1398 are JavaScript files. For performance reasons, you should bundle your extension: https://aka.ms/vscode-bundle-extension. You should also exclude unnecessary files by adding them to your .vscodeignore: https://aka.ms/vscode-vscodeignore.
lambdapi (4.09.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lambdapi (5.1.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lambdapi (4.10.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lambdapi (4.14.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lambdapi (4.11.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lambdapi (4.12.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lambdapi (5.2.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lambdapi (5.0.0)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lambdapi (4.13.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lambdapi (5.3.0)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
assets-for-download
2.54 MB