Juergen E. Fischer
81a08fd3e8
azure pipelines:
* fail on error
* align build name for pull requests more with travis builds
* include dash link on azure page
2019-12-06 00:34:01 +01:00
..
2018-10-09 02:30:10 +02:00
2018-12-31 20:20:30 +01:00
2019-11-15 00:39:16 +01:00
2019-05-10 15:52:38 +02:00
2019-11-30 20:34:16 +01:00
2019-12-06 00:34:01 +01:00
2019-12-06 00:34:01 +01:00
2019-06-20 16:52:20 +02:00
2019-08-09 21:32:19 +02:00
2018-02-24 21:51:08 +01:00
2019-06-20 16:52:20 +02:00
2019-03-27 10:44:20 +01:00
2018-11-26 23:16:14 +01:00
2019-03-23 02:08:30 +01:00
2018-08-18 02:29:28 +02:00
2018-05-11 01:27:06 +02:00
2019-11-30 20:34:16 +01:00