user/hiro/jenkins-tools, branch websitesHiro's Jenkins tools and scriptsUse only one generic lektor build2018-11-07T16:58:09+00:00hirohiro@torproject.org2018-11-07T16:58:09+00:0011f9adc3d5b733735962e7e1347b71e899c359f6
remove build scripts for 0.2.[678], they are all obsolete2018-11-04T15:38:28+00:00Peter Palfraderpeter@palfrader.org2018-11-04T15:38:28+00:00241da335315a9d7655ee70a82e40e792aa98c57b
make 0.3.5 jobs2018-10-17T20:55:47+00:00Peter Palfraderpeter@palfrader.org2018-10-17T20:55:47+00:009c0a8d1bed6372a161ba60862ae390f99d539688
Nick says 0.3.0 - 0.3.2 are unsupported, so stop building them. also trigger 0.3.[45] from windows libs2018-10-17T20:50:06+00:00Peter Palfraderpeter@palfrader.org2018-10-17T20:50:06+00:005e7645eae0f1ea9658332a8bd82c3ec35b0c7734
Add a copy for build depends on jessie/arm without libzstd2018-10-11T13:12:04+00:00Peter Palfraderpeter@palfrader.org2018-10-11T13:12:04+00:008ffbe65f80074284f7e494369e77e4cdd4bd8f0a
ignore errors on the second make without -k2018-08-14T07:40:43+00:00Peter Palfraderpeter@palfrader.org2018-08-14T07:40:43+00:00936df6c52675e8bc0ca1bc8ff710f446f7899a08
tor-ci-linux, tor-ci-linux-clang: Print configure/make/check markers, and cat config.log if configure fails2018-08-14T07:32:43+00:00Peter Palfraderpeter@palfrader.org2018-08-14T07:32:43+00:000cfd9c4eb30696e4f611b441fb3037117556f233
tor-ci-linux-GENERIC-extra-arm: Print configure/make/check markers, and cat config.log if configure fails2018-08-14T07:22:13+00:00Peter Palfraderpeter@palfrader.org2018-08-14T07:22:13+00:005cf63e8460d0952198a6fc238bfd9d89af39d0c2
start setting our own CARGO_HOME since the Tor build will try to stomp all over ~ otherwise once #24629 merges2018-08-10T07:12:46+00:00Peter Palfraderpeter@palfrader.org2018-08-10T07:12:46+00:00098a711f0107e17493cf3eca9d35a8104267f848