Skip to content

checkLibs : extract foldername from repo uri #105

checkLibs : extract foldername from repo uri

checkLibs : extract foldername from repo uri #105

build_vscode_extension

succeeded May 2, 2024 in 22s
Set up job
1s
checking out lambdapi repo ...
1s
Use Node.js
3s
generate-vscode-extension
10s
publish vscode extension
2s
Post Use Node.js
0s
Post checking out lambdapi repo ...
0s
Complete job
0s