search

Deducteam / lambdapi

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

feat/vscode: publish vscode extension if a new version is detected #1076

Closed Alidra closed 2 months ago

Alidra commented 2 months ago

This PR makes it possible to publish the Lambdapi extension for Vscode from the build pipeline when a new version (as documented in the editors/vscode/package.json file) is detected

fblanqui commented 2 months ago

Hi @Alidra . Thanks for your PR. I let you merge it.

Alidra commented 2 months ago

Thank you @fblanqui. I just updated the RELEASE.md file. Would you please check that the new instructions suit you before I merge.

Alidra commented 2 months ago

I would also need rights to create a new token to be used by the pipeline in the PAT variable. Would you please invite me to join the project in Azure Devops (https://marketplace.visualstudio.com/manage/publishers/deducteam)? My userId is alidrandco

Alidra commented 2 months ago

I have just created the PAT secret. I will merge now. The new pipeline actions will be tested when we will actually release a new version of the Vscode extension.