dundargoc
46e95909bf
ci: introduce CI_LINT option
...
This will abort if lint programs are not found, and is meant primarily
for the lint job in CI. Supersedes the REQUIRED argument in
add_glob_target as it's a superior replacement by being a built-in
solution.
2023-06-24 00:29:53 +02:00
..
2023-05-21 20:57:39 +02:00
2023-05-13 12:12:29 +02:00
2023-05-21 20:57:39 +02:00
2023-03-02 22:50:43 +01:00
2023-03-02 22:50:43 +01:00
2023-03-02 22:50:43 +01:00
2023-05-13 12:12:29 +02:00
2023-03-02 22:50:43 +01:00
2023-04-30 23:57:15 +02:00
2023-05-13 12:12:29 +02:00
2023-05-13 12:12:29 +02:00
2023-03-04 17:26:24 +01:00
2023-05-11 11:13:32 +01:00
2023-03-03 14:26:11 +01:00
2023-05-18 16:28:46 +02:00
2023-06-11 14:57:23 -07:00
2023-05-13 12:12:29 +02:00
2016-10-11 20:20:31 -04:00
2023-05-21 20:57:39 +02:00
2022-06-19 18:34:28 +02:00
2023-06-24 00:29:53 +02:00
2023-02-14 18:58:38 +01:00