add pin to appveyor

This commit is contained in:
Simon Christ 2020-03-17 16:46:08 +01:00 committed by GitHub
parent 00379097cf
commit eb942352ce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -35,6 +35,7 @@ install:
build_script:
- echo "%JL_BUILD_SCRIPT%"
- C:\julia\bin\julia -e "%JL_BUILD_SCRIPT%"
- C:\julia\bin\julia -e "using Pkg; Pkg.pin(PackageSpec(name="FixedPointNumbers", version="0.7"))"
test_script:
- echo "%JL_TEST_SCRIPT%"