Update CI scripts

This commit is contained in:
Davide De Rosa 2020-12-27 17:38:29 +01:00
parent 93b0a02568
commit 212b3bc5a2
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 30903dfc7e8ed89daad805ef4c27261639108225
Subproject commit 903dc61be5aae8e84ef63440b5c4e96c9b0f8a9d