Tobias Gruetzmacher
32ee66f7f4
Jenkins: Use modern coverage api
2019-10-28 16:15:26 +01:00
Tobias Gruetzmacher
233328d495
Test with Python 3.8 (and drop support for 3.4)
2019-10-28 16:00:38 +01:00
Tobias Gruetzmacher
d259c9c576
Jenkins: Add STDERR to console workaround
...
I'm not even sure why this is a problem. Whenever STDOUT or STDERR
aren't redirected, the Python process fails with
Fatal Python error: init_sys_streams: can't initialize sys standard streams
OSError: [WinError 6] Invalid handle
2019-07-14 22:26:46 +02:00
Tobias Gruetzmacher
73cac9a4b2
Jenkins: Make sure Docker images are fresh
2019-07-14 15:29:52 +02:00
Tobias Gruetzmacher
131d530d1a
Jenkins: Update to warnings-ng
2019-07-14 13:50:54 +02:00
Tobias Gruetzmacher
2eb789b35d
Jenkins: Reduce number of pipeline steps
2019-07-14 13:11:22 +02:00
Tobias Gruetzmacher
3e8f90c159
Jenkins: Always use Debian buster as base
2019-07-14 12:58:05 +02:00
Tobias Gruetzmacher
7bb0605329
Jenkins: Use modern error handling
2019-07-14 12:57:06 +02:00
Tobias Gruetzmacher
98d217f686
Jenkins: Turn windows build errors into warnings
2019-07-14 12:47:58 +02:00
Tobias Gruetzmacher
df18acf135
Add CI build for Python 3.7
2019-01-04 00:04:04 +01:00
Tobias Gruetzmacher
39356bc468
Add windows build to Jenkinsfile
2018-05-19 18:24:11 +02:00
Tobias Gruetzmacher
29861e761f
Move Jenkins pipeline from Jenkins to repository
2018-05-19 18:19:11 +02:00
