Skip to content

Replace Bindlib by de Bruijn indices #2161

Replace Bindlib by de Bruijn indices

Replace Bindlib by de Bruijn indices #2161

build_lambdapi (4.09.1)

succeeded Mar 29, 2024 in 7m 54s
Set up job
1s
checking out lambdapi repo ...
1s
recovering cached opam files ...
2s
setting up opam ...
1m 52s
installing dependencies ...
3m 26s
running tests ...
2m 25s
Post setting up opam ...
3s
Post recovering cached opam files ...
0s
Post checking out lambdapi repo ...
0s
Complete job
0s