Skip to content

update CHANGES.md

update CHANGES.md #60

build_lambdapi (4.08.1)

succeeded Apr 4, 2024 in 7m 19s
Set up job
2s
checking out lambdapi repo ...
1s
recovering cached opam files ...
7s
setting up opam ...
1m 52s
installing dependencies ...
2m 44s
running tests ...
2m 30s
Post setting up opam ...
2s
Post recovering cached opam files ...
0s
Post checking out lambdapi repo ...
0s
Complete job
0s