search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

CI: build_vscode_extension failure #1118

Closed fblanqui closed 3 months ago

fblanqui commented 3 months ago

build_vscode_extension fails in https://github.com/fblanqui/lambdapi/actions/runs/9570064647/job/26383997168 . Note also the warnings.

Alidra commented 3 months ago

Hi Frédéric,

I just checked. The pipeline fails because your repository is not up to date with Deducteam/Lambdapi. Synchronizing the repos should fix it.

fblanqui commented 3 months ago

Right. Thank you!