Skip to content

rename checkLibraries to test_libs, show time and simplify test_lib s… #99

rename checkLibraries to test_libs, show time and simplify test_lib s…

rename checkLibraries to test_libs, show time and simplify test_lib s… #99

build_vscode_extension

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