File tree Expand file tree Collapse file tree 2 files changed +12
-0
lines changed Expand file tree Collapse file tree 2 files changed +12
-0
lines changed Original file line number Diff line number Diff line change @@ -17,6 +17,13 @@ CONFIG_FILE='mypy.ini'
17
17
read -r -a CIRQ_PACKAGES < \
18
18
<( env PYTHONPATH=. python dev_tools/modules.py list --mode package-path)
19
19
20
+ # TODO(#7297) clean up after cirq-rigetti removal
21
+ for i in " ${! CIRQ_PACKAGES[@]} " ; do
22
+ if [[ " ${CIRQ_PACKAGES[i]} " == cirq-rigetti* ]]; then
23
+ unset " CIRQ_PACKAGES[i]"
24
+ fi
25
+ done
26
+
20
27
echo -e -n " \033[31m"
21
28
mypy --config-file=dev_tools/conf/$CONFIG_FILE " $@ " " ${CIRQ_PACKAGES[@]} " dev_tools examples
22
29
result=$?
Original file line number Diff line number Diff line change @@ -9,6 +9,11 @@ warn_redundant_casts = true
9
9
[mypy-cirq.*]
10
10
no_implicit_reexport = true
11
11
12
+ # TODO(#7297) clean up after cirq-rigetti removal
13
+ [mypy-cirq_rigetti]
14
+ follow_imports = silent
15
+ ignore_missing_imports = true
16
+
12
17
[mypy-__main__]
13
18
follow_imports = silent
14
19
ignore_missing_imports = true
You can’t perform that action at this time.
0 commit comments