Skip to content

Emacs: add shortcuts for some unicode characters #2462

Emacs: add shortcuts for some unicode characters

Emacs: add shortcuts for some unicode characters #2462

Triggered via pull request January 25, 2025 11:44
Status Failure
Total duration 14m 10s
Artifacts 1

main.yml

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

Annotations

10 errors and 12 warnings
lambdapi (4.10.2)
Process completed with exit code 2.
lambdapi (4.11.2)
Process completed with exit code 2.
lambdapi (4.09.1)
Process completed with exit code 2.
lambdapi (4.12.1)
Process completed with exit code 2.
lambdapi (4.13.1)
Process completed with exit code 2.
lambdapi (4.14.2)
Process completed with exit code 2.
lambdapi (5.2.1)
Process completed with exit code 2.
lambdapi (5.1.1)
Process completed with exit code 2.
lambdapi (5.3.0)
Process completed with exit code 2.
lambdapi (5.0.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.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.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.09.1)
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 (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 (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 (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.1.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
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

Artifacts

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