File tree 2 files changed +50
-0
lines changed
2 files changed +50
-0
lines changed Original file line number Diff line number Diff line change @@ -72,6 +72,19 @@ in Pipeline.build
72
72
, image = (../../ Constants / ContainerImages. dhall). toolchainBase
73
73
}
74
74
}
75
+ , Command. build
76
+ Command. Config:: {
77
+ , commands =
78
+ [ Cmd. run " scripts/merged-to-kimchi-stubs-vendors.sh main" ]
79
+ , label =
80
+ " [kimchi-stubs-vendors] Check merges cleanly into kimchi-stubs-vendors main branch"
81
+ , key = " merged-to-kimchi-stubs-vendors-main"
82
+ , soft_fail = Some (B / SoftFail. Boolean False )
83
+ , target = Size. Multi
84
+ , docker = Some Docker :: {
85
+ , image = (../../ Constants / ContainerImages. dhall). toolchainBase
86
+ }
87
+ }
75
88
, Command. build
76
89
Command. Config:: {
77
90
, commands = [ Cmd. run " true" ] : List Cmd. Type
Original file line number Diff line number Diff line change
1
+ #! /bin/bash
2
+
3
+ set -eu
4
+
5
+ if [[ $# -ne 1 ]]; then
6
+ echo " Usage: $0 <target-branch>"
7
+ exit 1
8
+ fi
9
+
10
+ cd src/lib/crypto/kimchi_bindings/stubs/kimchi-stubs-vendors
11
+
12
+ CURR=$( git rev-parse HEAD)
13
+
14
+ # temporarily skip SSL verification (for CI)
15
+ if [ " ${BUILDKITE:- false} " == true ]
16
+ then
17
+ git config http.sslVerify false
18
+ git fetch origin
19
+ git config http.sslVerify true
20
+ fi
21
+
22
+
23
+ BRANCH=$1
24
+
25
+ function in_branch {
26
+ if git rev-list origin/" $1 " | grep -q " ${CURR} " ; then
27
+ echo " kimchi-stubs-vendors submodule commit is an ancestor of $1 "
28
+ true
29
+ else
30
+ false
31
+ fi
32
+ }
33
+
34
+ if (! in_branch " ${BRANCH} " ); then
35
+ echo " kimchi-stubs-vendors submodule commit is NOT an ancestor of ${BRANCH} branch"
36
+ exit 1
37
+ fi
You can’t perform that action at this time.
0 commit comments