Skip to content

Disable AppVeyor (Windows) builds #1042

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from

Conversation

thk123
Copy link
Contributor

@thk123 thk123 commented Jun 20, 2017

A recent change stopped this branch working on AppVeyor due to the use of signal: More details in this comment: #1004 (comment)

This PR disables AppVeyor from running by deleting the yml file. I also updated the README to not include the unnecessary build icon (and corrected the branch for the travis logo.

This PR is awaiting test-gen to be brought up to speed with test-gen-support.

@thk123 thk123 requested review from mgudemann and reuk and removed request for mgudemann and reuk June 20, 2017 11:01
@thk123
Copy link
Contributor Author

thk123 commented Jun 20, 2017

Hmm OK deleting it wasn't sufficient - will investigate or do @forejtv @zemanlx know how I can disable AppVeyor on this branch?

@thk123
Copy link
Contributor Author

thk123 commented Jun 20, 2017

Made from fork branch (inadvertently pushed to diffblue/cbmc - sorry!) #1043

@thk123 thk123 closed this Jun 20, 2017
@thk123 thk123 deleted the bugfix/disable-appveyor-builds branch June 20, 2017 12:18
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.

1 participant