Work around bug in git-parameter plugin
Git-parameter doesn't seem to work correctly with ssh urls, so use a
text parameter instead.
Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com>
Change-Id: Ia5e66d98c08156b47f6a2abfea8fffc373db48bb
diff --git a/mbedtls-release-ci-testing.yaml b/mbedtls-release-ci-testing.yaml
index 359d2fc..09a8f74 100644
--- a/mbedtls-release-ci-testing.yaml
+++ b/mbedtls-release-ci-testing.yaml
@@ -110,12 +110,11 @@
default: false
description: Push head to coverity branch, triggering a scan (development only)
name: PUSH_COVERITY
- - git-parameter:
+ - string:
name: TEST_BRANCH
description: Branch or tag in https://github.com/Mbed-TLS/mbedtls-test.git (forks are not supported)
- type: PT_BRANCH_TAG
- quickFilterEnabled: True
- defaultValue: main
+ default: main
+ trim: 'false'
pipeline-scm:
lightweight-checkout: false
scm: