Travis: Fix frozen tools check never failing

Having recently moved the frozen tools check to a standalone stage
at the end, we need to fetch the base branch so make comparison
work. Travis environments are not shared across different stages.

Without the fetch, the check always passes as a PR is compared with
itself.
pull/14705/head
Lingkai Dong 2021-05-26 14:05:34 +01:00
parent d28ce001ab
commit 4d09e47c8f
1 changed files with 3 additions and 0 deletions

View File

@ -317,6 +317,9 @@ matrix:
stage: "Frozen tools check" stage: "Frozen tools check"
name: "Frozen tools check" name: "Frozen tools check"
env: NAME=frozen_tools_check env: NAME=frozen_tools_check
before_script:
# Fetch the base branch to compare against
- git fetch origin "${TRAVIS_BRANCH}" --depth=1
script: script:
# Reject any changes to tools that would require a re-release of the # Reject any changes to tools that would require a re-release of the
# tools for the online compiler. # tools for the online compiler.