Fetch origin/master properly

This commit is contained in:
Thom Wiggers 2019-04-16 15:23:14 +02:00
parent a7a8c02c27
commit 49b1214f24
No known key found for this signature in database
GPG Key ID: 001BB0A7CE26E363
2 changed files with 4 additions and 0 deletions

View File

@ -7,6 +7,7 @@ matrix:
before_install: before_install:
- pip3 install -r requirements.txt - pip3 install -r requirements.txt
before_script: before_script:
- git config --replace-all remote.origin.fetch +refs/heads/*:refs/remotes/origin/*
- git fetch --unshallow - git fetch --unshallow
script: script:
- "cd test && python3 -m nose --rednose --verbose" - "cd test && python3 -m nose --rednose --verbose"
@ -28,6 +29,7 @@ matrix:
env: env:
PQCLEAN_ONLY_DIFF: 1 PQCLEAN_ONLY_DIFF: 1
before_install: before_install:
- git config --replace-all remote.origin.fetch +refs/heads/*:refs/remotes/origin/*
- git fetch --unshallow - git fetch --unshallow
- pip3 install -r requirements.txt - pip3 install -r requirements.txt
- brew link gcc - brew link gcc

View File

@ -22,6 +22,8 @@ init:
- set PATH="C:\\Python37";"C:\\Python37\Scripts";%PATH% - set PATH="C:\\Python37";"C:\\Python37\Scripts";%PATH%
build_script: build_script:
- git config --replace-all remote.origin.fetch +refs/heads/*:refs/remotes/origin/*
- git fetch
- python -m pip install -r requirements.txt - python -m pip install -r requirements.txt
- cd test - cd test
# Download Astyle to local folder because putting it in PATH doesn't work # Download Astyle to local folder because putting it in PATH doesn't work