Merge branch 'develop' of https://github.com/pasqal-io/Pulser into re…

…move_L0
pasqal-io · Nov 20, 2023 · 822a2f8 · 822a2f8
2 parents 79303c5 + 30b8450
commit 822a2f8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.mypy.ini b/.mypy.ini
@@ -15,6 +15,9 @@ disallow_untyped_defs = True
 follow_imports = silent
 ignore_missing_imports = True
 
+[mypy-referencing.*]
+follow_imports = skip
+
 [mypy-tests.*]
 disable_error_code = annotation-unchecked
 disallow_untyped_defs = False
diff --git a/VERSION.txt b/VERSION.txt
@@ -1 +1 @@
-0.16dev2
+0.16dev3