Update CI scripts

This commit is contained in:
Davide De Rosa 2021-11-12 11:05:38 +01:00
parent 0b65ed4385
commit 519430fd87
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 432acbf64f602b3cfc47892a865202cbd4297f81 Subproject commit 149a7f44475708f5b75889fd489bdbd6a063232b