generate pngs with jenkins

2021-02-12 20:20:53 +01:00
parent 63d8f7ea99
commit d974ca7df3
52 changed files with 5085 additions and 803 deletions
@@ -13,6 +13,8 @@ pipeline {
 		stage("Build") {
 			agent any
 			steps {
+                sh 'python3.8 tests.py'
+                sh 'make doc_images -j4'
 				sh 'make -C docs html'
 			}
 		}