Update Jenkins Pipeline to use new agents

2019-08-20 13:03:45 +01:00
parent c0c4117b8e
commit 9cb697f5de
5 changed files with 64 additions and 12 deletions
--- a/7
+++ b/7
@@ -0,0 +1,7 @@
+[[source]]
+name = "pypi"
+url = "https://pypi.org/simple"
+verify_ssl = true
+
+[dev-packages]
+flake8 = "*"