Skip to content

add branch name in pipe #115

add branch name in pipe

add branch name in pipe #115

Annotations

2 errors

build_lambdapi (4.10.2)

cancelled May 13, 2024 in 5m 29s