Skip to content

add branch name in pipe2 #116

add branch name in pipe2

add branch name in pipe2 #116

Annotations

2 errors

build_lambdapi (4.13.1)

cancelled May 13, 2024 in 3m 22s