pin FixedPointNumbers

This commit is contained in:
Simon Christ 2020-03-17 15:32:54 +01:00 committed by GitHub
parent 8d8921fd08
commit 16b568840d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -35,4 +35,4 @@ notifications:
script:
- if [[ -a .git/shallow ]]; then git fetch --unshallow; fi
- if [[ `uname` = "Linux" ]]; then TESTCMD="xvfb-run julia"; else TESTCMD="julia"; fi
- $TESTCMD -e 'using Pkg; Pkg.build(); Pkg.test(coverage=true)'
- $TESTCMD -e 'using Pkg; Pkg.pin(PackageSpec(name="FixedPointNumbers", version="0.7")); Pkg.build(); Pkg.test(coverage=true)'