Skip to content
.github/workflows/main.yml

create a script to clone libraries and check them and call it from pi… #97

Sign in to view logs

create a script to clone libraries and check them and call it from pi…

create a script to clone libraries and check them and call it from pi… #97

build_lambdapi (4.13.1)

build_lambdapi (4.13.1)
succeeded Apr 30, 2024 in 7m 19s