Gilles Peskine
254efe5f0c
Make mypy unconditional
...
Running mypy was optional for a transition period when it wasn't installed
on the CI. Now that it is, make it mandatory, to avoid silently skipping an
expected check if mypy doesn't work for some reason.
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2022-02-28 16:06:36 +01:00
..
2020-08-19 10:35:41 +02:00
2022-02-21 09:06:00 +08:00
2022-01-07 18:34:12 +01:00
2021-07-22 12:30:14 +02:00
2020-08-19 10:35:41 +02:00
2020-12-10 21:30:01 +01:00
2021-12-09 12:54:09 +01:00
2022-01-07 18:34:12 +01:00
2020-08-19 10:35:41 +02:00
2021-12-18 13:28:59 +05:30
2022-02-28 16:06:36 +01:00
2021-06-28 09:28:33 +01:00
2021-06-28 09:28:33 +01:00
2021-06-28 09:28:33 +01:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2021-11-10 20:55:35 +01:00
2021-10-27 11:45:57 +02:00
2022-02-11 16:10:44 +01:00
2020-08-19 10:35:41 +02:00
2021-06-28 09:28:33 +01:00
2021-08-17 12:44:16 +01:00
2021-08-16 10:37:24 +01:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-12-10 23:16:03 +01:00
2021-06-28 09:28:33 +01:00
2020-08-19 10:35:41 +02:00
2021-06-28 09:28:33 +01:00
2020-12-10 21:30:08 +01:00
2022-01-07 19:36:07 +01:00
2021-05-25 19:39:02 +02:00
2020-08-19 10:35:41 +02:00
2022-01-19 12:34:41 -05:00
2021-09-03 13:30:44 +01:00
2020-08-19 10:35:41 +02:00