4480ba3e29
ci: remove reliance on Github API for CI setup ( #36500 )
...
Previously our CI during the setup process has made requests
to the Github API to determine the target branch and shas.
With this change, this information is now determined via git
commands using pipeline parameters from CircleCI.
PR Close #36500
2020-04-16 17:14:34 -04:00
698b0288be
build: reformat repo to new clang@1.4.0 ( #36613 )
...
PR Close #36613
2020-04-14 12:08:36 -07:00
8499bbdd17
ci: only lint commit messages in the PR ( #35035 )
...
PR Close #35035
2020-02-04 10:25:01 -08:00
51f47535e8
ci: move determineTargetRefAndSha to a new file for reusability ( #35035 )
...
PR Close #35035
2020-02-04 10:25:01 -08:00
23cf11a788
ci: fix remote name in rebase instructions ( #34432 )
...
Previously, the rebase instructions were asking the user to rebase from
`origin/master` instead of `upstream/master`.
PR Close #34432
2019-12-16 10:44:42 -08:00
8969f35bb5
ci: verify no unintentional circleci config changes ( #33737 )
...
PR Close #33737
2019-11-25 11:41:54 -05:00
e6117a3a49
ci: rebase PRs on target branch ( #29215 )
...
PR Close #29215
2019-03-12 11:34:58 -07:00
Joey Perrott
Joey Perrott
Sonu Kapoor
Filipe Silva