Code

Fix CI for external contributors#6747

Code

Merged

mrmr1993 merged 4 commits intodevelopMinaProtocol/mina:developfrom feature/fix-ci-for-external-contributorsMinaProtocol/mina:feature/fix-ci-for-external-contributorsCopy head branch name to clipboardNov 25, 2020

+6-1

Commits

Commits on Nov 18, 2020

• ci-build-me: Add pull_request_repository to buildkite command

  Show description for b536442
  mrmr1993

  committed
  b536442

  Copy full SHA for b536442

• ci-build-me: Use pull/PR_NUMBER/head for CircleCI jobs

  mrmr1993

  committed
  b64b7d3

  Copy full SHA for b64b7d3

• Improve logging

  mrmr1993

  committed
  bac8e0c

  Copy full SHA for bac8e0c

Commits on Nov 24, 2020

• Merge branch 'develop' into feature/fix-ci-for-external-contributors

  mrmr1993

  authored
  6689f2e

  Copy full SHA for 6689f2e