Codebase list coq / debian/8.9.1-3 appveyor.yml
debian/8.9.1-3

Tree @debian/8.9.1-3 (Download .tar.gz)

appveyor.yml @debian/8.9.1-3 — raw · history · blame 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
version: '{branch}~{build}'
clone_depth: 10

platform:
- x64

image:
- Visual Studio 2017

environment:
  CYGMIRROR: http://ftp.inf.tu-dresden.de/software/windows/cygwin32
  matrix:
  - USEOPAM: true
    ARCH: 64

build_script:
- cmd: 'call %APPVEYOR_BUILD_FOLDER%\dev\ci\appveyor.bat'

test: off