update ci

This commit is contained in:
Salvatore Giordano
2020-10-05 15:39:01 +02:00
parent 2e0ac9a82c
commit ff3d74ceec
3 changed files with 26 additions and 8 deletions
+1 -1
View File
@@ -1 +1 @@
13ecb9b157bb3e3d1ca2efb15c813a88
06fe8d0d3d89937a6d33b1033e75ae96