Skip to content

fix symbol location within tactic : move the location printing in the… #82

fix symbol location within tactic : move the location printing in the…

fix symbol location within tactic : move the location printing in the… #82

build_vscode_extension

succeeded Apr 9, 2024 in 18s
Set up job
0s
checking out lambdapi repo ...
1s
Use Node.js
4s
generate-vscode-extension
11s
publish vscode extension
1s
Post Use Node.js
0s
Post checking out lambdapi repo ...
0s
Complete job
0s