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.12.1)

succeeded Mar 29, 2024 in 8m 5s
Set up job
2s
checking out lambdapi repo ...
1s
recovering cached opam files ...
9s
setting up opam ...
1m 50s
installing dependencies ...
3m 29s
running tests ...
2m 27s
Post setting up opam ...
3s
Post recovering cached opam files ...
0s
Post checking out lambdapi repo ...
0s
Complete job
0s