diff --git a/.ci b/.ci new file mode 160000 index 000000000..87942a7c2 --- /dev/null +++ b/.ci @@ -0,0 +1 @@ +Subproject commit 87942a7c29f22b62c7d6e2bf91bea3b059f1b695