You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original Redmine Comment
Author Name: Todd Strader (@toddstrader)
Original Date: 2019-12-10T10:31:59Z
Ideally I would have created a PPA for this (I found one, but it doesn't work for some reason). However, I've never done that before and the instructions were quite complicated. Instead, I found that adding a script that pulls, compiles and installs vcddiff takes 1 second in Travis. So it's unclear if we'd really even save any time by using apt instead.
Author Name: Todd Strader (@toddstrader)
Original Redmine Issue: 1600 from https://www.veripool.org
Original Assignee: Todd Strader (@toddstrader)
A number of tests are not running because this is missing.
The text was updated successfully, but these errors were encountered: