2 Commits

Author	SHA1	Message	Date
Holger Rapp	01c4bde123	Remove travis caching and avoid rate limiting. (#962) ... The caching only saves a few minutes and seems brittle.	2018-04-09 15:05:40 +02:00
Holger Rapp	da6efc3e7d	Rename scripts -> docker. Make repro more useful.	2018-04-05 21:52:33 +02:00