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

cancelled May 13, 2024 in 5m 30s