kubawerlos/types-checker

Type coverage history

Date	Commit	Type Coverage	Analysed Expression #
April 2 2023, 18:01:19	5d6b92e	100.000%	520
April 2 2023, 17:28:16	9036690	100.000%	520
April 2 2023, 17:18:42	dcd2482	100.000%	520
March 3 2023, 17:34:32	d993964	100.000%	520
February 1 2023, 16:19:08	6d9b211	100.000%	520
January 2 2023, 18:41:07	ef04701	100.000%	519
December 1 2022, 22:13:01	29ce40c	100.000%	519
November 1 2022, 13:20:26	d3c7e04	100.000%	519
October 1 2022, 20:24:08	79881d8	100.000%	519
August 1 2022, 20:43:37	6150c38	100.000%	519
July 2 2022, 09:41:48	f2e803c	100.000%	519
June 1 2022, 17:56:59	96633af	100.000%	519
May 3 2022, 07:23:12	d031a1b	100.000%	519
April 2 2022, 07:49:44	19eda4e	100.000%	519
January 1 2022, 14:01:14	58203ee	100.000%	519
December 17 2021, 17:11:21	ebadae6	100.000%	519
December 17 2021, 16:38:09	031ce49	100.000%	512
December 17 2021, 16:34:55	0a37a0b	100.000%	512
December 1 2021, 17:03:41	c0c2e99	100.000%	512
November 3 2021, 18:23:41	c9add5f	100.000%	512
November 3 2021, 18:15:01	4f0c8bb	100.000%	512
November 3 2021, 17:49:24	d32d2fe	100.000%	512
November 3 2021, 17:47:23	e9945a4	100.000%	512
November 3 2021, 17:34:22	d1140ae	100.000%	512
November 3 2021, 17:15:41	bd9d57f	100.000%	512
October 3 2021, 11:44:21	b10dd0e	100.000%	512
September 7 2021, 16:30:35	dcd51a4	100.000%	512
August 23 2021, 17:07:32	9dcbc51	100.000%	512
August 5 2021, 21:54:44	6235249	100.000%	512
July 21 2021, 14:25:04	631a6ec	100.000%	512
June 21 2021, 14:11:12	2057d22	100.000%	512
June 10 2021, 13:27:59	14e6342	100.000%	509
May 12 2021, 15:35:17	c04aceb	100.000%	509
May 12 2021, 15:31:57	7dcfecd	100.000%	509
May 4 2021, 20:06:07	a8963af	100.000%	509
May 4 2021, 16:40:26	ed848e2	100.000%	509
May 3 2021, 08:27:08	1e1b2d5	100.000%	509
April 28 2021, 12:34:19	920cde5	100.000%	509
April 27 2021, 15:13:56	f15f8dc	100.000%	509
April 26 2021, 13:53:42	48354e2	100.000%	509
April 20 2021, 15:17:19	9483c34	100.000%	509
April 20 2021, 15:06:44	ea47609	100.000%	509
April 19 2021, 16:37:41	c234160	100.000%	509
April 9 2021, 14:23:46	1cdfc42	100.000%	509
April 7 2021, 13:30:55	dae9bce	100.000%	509
April 5 2021, 09:50:00	ec9c837	100.000%	509
March 29 2021, 15:43:50	2c0b1a4	100.000%	509
March 22 2021, 14:18:57	9b599f4	100.000%	509
March 19 2021, 20:53:01	4f59682	100.000%	509
March 17 2021, 18:50:14	aad1fc4	100.000%	509
March 13 2021, 12:23:19	556c8e7	100.000%	509
March 13 2021, 09:28:11	68347c7	100.000%	509
March 9 2021, 23:04:26	a47eac6	100.000%	509
March 9 2021, 22:58:06	2b9154a	100.000%	509
March 4 2021, 18:30:32	443fde1	100.000%	509
March 1 2021, 16:26:56	5336674	100.000%	509
February 26 2021, 22:49:32	1232711	100.000%	509
February 26 2021, 22:43:12	2dd1d0e	100.000%	482
February 26 2021, 21:23:50	e879316	100.000%	482
February 26 2021, 18:43:45	d00b204	100.000%	482
February 26 2021, 18:00:49	c088bf7	100.000%	482
February 22 2021, 14:20:01	fe3a3c9	100.000%	482
February 19 2021, 16:23:58	3840629	100.000%	482
February 19 2021, 14:38:27	4b7c947	100.000%	482
February 16 2021, 15:22:08	c8fd260	100.000%	482
February 15 2021, 20:48:06	7015de7	100.000%	482
February 15 2021, 18:25:01	8e57a7d	100.000%	482
February 12 2021, 22:34:31	3ea2818	100.000%	482
February 12 2021, 22:34:12	348317f	100.000%	482
February 11 2021, 16:21:59	03103c4	100.000%	482
February 9 2021, 21:10:35	5af9612	100.000%	482
February 8 2021, 21:23:07	8703c0c	100.000%	482
February 2 2021, 15:58:14	9f05745	100.000%	482
February 1 2021, 17:10:18	6bb5bb3	100.000%	482
January 28 2021, 18:59:34	63b975e	100.000%	482
January 26 2021, 22:36:55	e342713	100.000%	482
January 25 2021, 19:18:53	c3c2f71	100.000%	482
January 22 2021, 16:06:48	e799d7f	100.000%	482
January 20 2021, 20:15:34	04e4d80	100.000%	482
January 18 2021, 22:53:18	de3cca9	100.000%	482
January 15 2021, 20:42:50	6502dfc	100.000%	482
January 15 2021, 20:42:25	4ae530d	100.000%	482
January 14 2021, 19:31:14	b2f69ef	100.000%	482
January 14 2021, 19:25:57	f994252	100.000%	482
January 12 2021, 17:37:44	91c4114	100.000%	482
January 11 2021, 20:39:20	4d592f4	100.000%	482
January 11 2021, 20:36:15	6d13529	100.000%	482
January 11 2021, 20:32:36	121d8de	100.000%	482
December 31 2020, 14:47:02	f406808	100.000%	482
December 30 2020, 15:41:10	a187a66	100.000%	482
December 30 2020, 15:40:29	e144b1d	100.000%	482
December 22 2020, 07:13:57	163a67f	100.000%	482
December 18 2020, 16:55:22	28a18ff	100.000%	482
December 16 2020, 19:30:07	12c557c	100.000%	482
December 16 2020, 17:24:18	6017dc0	100.000%	482
December 14 2020, 15:39:09	b1a2525	100.000%	482
December 9 2020, 19:27:44	db528b7	100.000%	482
December 9 2020, 19:24:38	e768127	100.000%	482
December 8 2020, 15:35:38	7684294	100.000%	482
December 8 2020, 15:26:08	ceddc0e	100.000%	482
December 7 2020, 20:13:11	5419197	100.000%	482
December 3 2020, 19:24:45	9914c82	100.000%	482
December 3 2020, 19:14:28	6b58eb0	100.000%	482
November 29 2020, 13:48:50	765a4be	100.000%	482
November 21 2020, 13:02:39	535b5ae	100.000%	482
November 20 2020, 15:20:13	e1044b2	100.000%	482
November 20 2020, 01:04:00	beba008	100.000%	482
November 18 2020, 20:21:42	2f39af6	100.000%	482
November 16 2020, 23:09:47	a77d037	100.000%	482
November 14 2020, 10:30:17	e338a84	100.000%	482
November 6 2020, 20:20:02	dbceda4	100.000%	482
November 5 2020, 13:49:24	855ad51	100.000%	482
November 2 2020, 09:09:57	0c7b171	100.000%	482
November 1 2020, 15:00:23	fd29b17	100.000%	483
October 30 2020, 17:12:02	b92d3e9	100.000%	483
October 28 2020, 05:18:37	ab906e7	100.000%	483
October 25 2020, 11:28:27	5356815	100.000%	483
October 24 2020, 14:26:29	44221b8	100.000%	483
October 23 2020, 15:48:48	78bcba0	100.000%	483
October 22 2020, 12:39:47	f9f55fd	100.000%	483
October 22 2020, 10:53:44	6dc31d2	100.000%	483
October 21 2020, 01:54:22	fc623ea	100.000%	483
October 20 2020, 09:23:54	b7c4f37	100.000%	483
October 17 2020, 17:49:55	5d0a4cf	100.000%	467
October 15 2020, 02:40:21	3359e6a	100.000%	467
October 13 2020, 13:28:34	5e7dc2d	100.000%	467
October 13 2020, 07:08:21	1620688	100.000%	467
October 2 2020, 18:36:51	7be4576	100.000%	467
September 29 2020, 20:17:45	12891dc	100.000%	467
September 28 2020, 07:05:24	71fff04	100.000%	467
September 24 2020, 23:49:04	97d9e77	100.000%	467
September 24 2020, 00:00:30	a53a31b	100.000%	467
September 22 2020, 20:28:39	1bc00c9	100.000%	467
September 21 2020, 06:53:30	ba9b672	100.000%	467
September 15 2020, 20:59:52	947a81a	100.000%	467
September 3 2020, 01:49:44	0fdd1e3	100.000%	467
September 3 2020, 01:43:03	3b646b7	100.000%	467
September 2 2020, 00:09:46	0fe5c55	100.000%	467
August 30 2020, 17:15:11	b8d934e	100.000%	468
August 30 2020, 15:55:25	2c5dccf	100.000%	468
August 27 2020, 02:54:13	4a8ec24	100.000%	468
August 25 2020, 12:57:01	c72cfd5	100.000%	468
August 22 2020, 14:25:18	ed165d9	100.000%	468
August 19 2020, 14:13:59	7eb1390	100.000%	468
August 18 2020, 12:02:12	7fe814e	100.000%	468
August 18 2020, 03:01:16	845371f	100.000%	468
August 16 2020, 21:48:44	a75e5a7	100.000%	466
August 10 2020, 06:09:36	1b4d373	100.000%	466
August 9 2020, 15:26:17	dd02c73	100.000%	466
August 5 2020, 15:55:44	8a087e0	100.000%	466
August 4 2020, 20:05:07	dcb25f0	100.000%	466
July 31 2020, 03:41:24	95cb0d5	100.000%	466
July 31 2020, 01:17:51	cd92169	100.000%	466
July 27 2020, 17:23:08	02b6c6a	100.000%	466
July 21 2020, 20:05:01	85b05f6	100.000%	466
July 19 2020, 23:55:12	88c0d82	100.000%	466
July 16 2020, 14:04:47	5d6ccdd	100.000%	466
July 8 2020, 01:12:15	1d24b77	100.000%	466
July 6 2020, 15:22:23	95e8cb7	100.000%	466
July 6 2020, 05:59:11	69499e2	100.000%	466
July 3 2020, 19:19:23	eb624f1	100.000%	466
July 1 2020, 21:11:57	262f13b	100.000%	466
June 27 2020, 23:53:08	f29e30b	100.000%	466
June 25 2020, 03:34:36	02915ef	100.000%	466
June 23 2020, 04:42:12	e9fbcfa	100.000%	466
June 21 2020, 14:29:48	f856f4d	100.000%	466
June 17 2020, 22:24:48	6fdcba0	100.000%	466
June 14 2020, 16:32:21	96c196d	100.000%	466
June 14 2020, 14:26:25	4653df0	100.000%	466
June 10 2020, 12:18:12	f311a12	100.000%	466
June 8 2020, 23:40:55	216785a	100.000%	466
June 7 2020, 23:31:52	3ca7de0	100.000%	466
May 27 2020, 18:13:53	d8844c4	100.000%	466
May 11 2020, 19:38:22	49887d8	100.000%	466
May 10 2020, 21:55:27	d02864a	100.000%	466
May 10 2020, 15:04:20	0f4713a	100.000%	466
May 7 2020, 17:26:17	9e9f3c5	100.000%	466
May 6 2020, 20:13:34	587a50e	100.000%	466
May 6 2020, 19:28:13	1e98ad2	100.000%	466
May 6 2020, 05:49:29	5045d23	100.000%	466
May 4 2020, 14:17:35	aafe179	100.000%	466
May 3 2020, 17:54:52	95fdeb7	100.000%	466
May 3 2020, 17:50:51	a28b6b5	100.000%	466
May 3 2020, 17:47:29	1a8e208	100.000%	466
May 1 2020, 16:16:21	259af3a	100.000%	466
April 30 2020, 21:46:48	6c7b850	100.000%	466
April 26 2020, 19:13:06	4777b9b	100.000%	466
April 19 2020, 21:41:30	6a780eb	100.000%	466
April 17 2020, 01:55:35	1f6b58d	100.000%	466
April 15 2020, 19:13:33	e38e422	100.000%	466
April 14 2020, 05:49:30	1c4e67b	100.000%	466
April 13 2020, 05:43:34	793bf51	100.000%	466
April 10 2020, 22:02:05	215b89d	100.000%	466
April 2 2020, 22:40:16	2aeb37c	100.000%	466
March 28 2020, 10:18:46	0e82d26	100.000%	466
March 28 2020, 10:12:33	c7fe97e	100.000%	466
March 28 2020, 10:04:50	490a2f7	100.000%	466
March 28 2020, 00:55:45	3f64721	100.000%	466
March 20 2020, 09:55:38	c325532	100.000%	466
March 20 2020, 09:51:11	912e264	100.000%	466
March 20 2020, 07:52:08	3f75dd9	100.000%	466
March 20 2020, 07:37:34	7cfd886	100.000%	466
March 20 2020, 07:26:51	2f4b6f0	100.000%	466
March 19 2020, 17:53:51	3bbc127	100.000%	454
March 19 2020, 16:43:59	991406f	100.000%	454