Skip to content
.github/workflows/vscode.yml

Tools to use Elpi in Lambdapi + type classes #777

Sign in to view logs

Tools to use Elpi in Lambdapi + type classes

Tools to use Elpi in Lambdapi + type classes #777

Triggered via pull request September 17, 2026 11:45
@agontardagontard
synchronize #1378
agontard:elpi-rebase
Status Success
Total duration 1m 52s
Artifacts –

vscode.yml

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

Annotations

1 warning
vscode (v26.5.0, \@1.125.0, \@3.9.2)
This extension consists of 9057 files, out of which 4232 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.