Skip to content

Add appveyor.yml#784

Merged
kroening merged 1 commit intodiffblue:masterfrom
forejtv:create-appveyor-yml
Apr 8, 2017
Merged

Add appveyor.yml#784
kroening merged 1 commit intodiffblue:masterfrom
forejtv:create-appveyor-yml

Conversation

@forejtv
Copy link
Contributor

@forejtv forejtv commented Apr 7, 2017

Currently we use config set in an AppVeyor UI, which is inconvenient:
It is tedious to edit, and config cannot be modified per branch. With
this commit, we are taking a similar approach as the one Travis has.

The config file largely mirrors what was being used in the UI config
up until now.

There is a couple of tests we delete before make test
is run, see #623 for more info.

Currently we use config set in an AppVeyor UI, which is inconvenient:
It is tedious to edit, and config cannot be modified per branch. With
this commit, we are taking a similar approach as the one Travis has.

The config file largely mirrors what was being used in the UI config
up until now. There is a couple of tests we delete before `make test`
is run, see #623 for more info.
@kroening kroening merged commit 893e219 into diffblue:master Apr 8, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants