Skip to content

Fix the list of messages to be displayed in terminal due to position … #2358

Fix the list of messages to be displayed in terminal due to position …

Fix the list of messages to be displayed in terminal due to position … #2358

build_lambdapi (4.10.2)

succeeded Nov 18, 2024 in 9m 20s
Set up job
1s
checking out lambdapi repo ...
1s
recovering cached opam files ...
3s
setting up opam ...
3m 43s
installing dependencies ...
2m 44s
running tests ...
2m 44s
Post setting up opam ...
0s
Post recovering cached opam files ...
0s
Post checking out lambdapi repo ...
0s
Complete job
0s