Ben Wiederhake 48062b3cca
Meta: Remove 'time' invocation in lint-ci ...
Some systems don't have /usr/bin/time available, and during most runs
of lint-ci we don't actually care that much about the exact timing.
Therefore, let's just remove it. It's easy enough to add back in, if
someone wants to investigate an issue.
2022-09-22 00:45:10 +02:00
2022-09-14 08:21:03 -04:00
2022-09-21 23:06:08 +01:00
2022-09-18 13:27:24 -04:00
2022-09-21 23:06:08 +01:00
2022-04-03 13:14:15 +01:00
2022-03-14 22:20:35 +00:00
2022-02-25 12:06:31 -05:00
2022-05-02 01:46:18 +02:00
2021-12-28 11:51:50 +01:00
2022-02-14 11:52:07 +01:00
2022-07-08 12:04:01 +02:00
2022-07-11 11:35:56 +02:00
2022-02-04 12:44:50 +01:00
2022-07-10 23:31:48 +02:00
2022-09-13 08:29:09 +00:00
2022-09-18 18:45:25 -07:00
2022-09-18 18:45:25 -07:00
2022-07-11 11:35:56 +02:00
2022-09-18 18:45:25 -07:00
2022-06-18 21:58:43 +04:30
2022-09-18 18:45:25 -07:00
2022-01-15 17:51:40 +01:00
2022-05-29 10:24:31 +02:00
2022-04-20 14:12:34 +02:00
2022-08-14 01:03:23 +01:00
2022-08-14 01:03:23 +01:00
2022-08-24 15:55:42 +01:00
2022-03-20 10:44:32 +03:30
2022-09-02 23:36:08 +01:00
2022-09-02 23:36:08 +01:00
2022-09-02 23:36:08 +01:00
2022-08-14 01:03:23 +01:00
2022-09-22 00:45:10 +02:00
2022-05-21 18:15:58 +02:00
2022-09-15 13:55:32 +01:00
2022-09-18 18:45:25 -07:00
2022-06-02 23:18:06 +01:00
2022-01-22 01:21:18 +00:00
2022-04-18 19:53:10 +04:30
2022-09-20 19:05:13 +01:00
2022-04-01 21:41:41 +01:00
2022-09-18 18:47:34 -07:00
2022-07-12 23:11:35 +02:00
48062b3cca