Skip to content
This repository was archived by the owner on Apr 3, 2023. It is now read-only.

Add git to diffblue-builder #3

Closed
wants to merge 1 commit into from

Conversation

forejtv
Copy link
Contributor

@forejtv forejtv commented May 11, 2017

This is to allow https://github.com/diffblue/test-gen/issues/324 to be fixed.

@zemanlx: I am not sure if we also need to tag the commit after merging, to create a new version (?)

@forejtv forejtv requested a review from zemanlx May 11, 2017 17:22
@forejtv
Copy link
Contributor Author

forejtv commented May 11, 2017

This is failing on Travis, the error is due to package files not being downloadable, I'll keep restarting the job to see if the error goes away.

@forejtv
Copy link
Contributor Author

forejtv commented May 11, 2017

It turns out git is needed already in cbmc-builder due to diffblue/cbmc#668, so I'm closing this and will create a new PR.

@forejtv forejtv closed this May 11, 2017
@zemanlx zemanlx deleted the feature/git-in-diffblue-builder branch May 18, 2017 09:08
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant