John Ericson
72b65981f9
Revert "Adapt scheduler to work with dynamic derivations"
...
This reverts commit 5e3986f59c . This
un-implements RFC 92 but fixes the critical bug #9052 which many people
are hitting. This is a decent stop-gap until a minimal reproduction of
that bug is found and a proper fix can be made.
Mostly fixed #9052 , but I would like to leave that issue open until we
have a regression test, so I can then properly fix the bug (unbreaking
RFC 92) later.
(cherry picked from commit 8440afbed7 )
2023-10-02 15:05:23 +00:00
..
2023-08-09 20:57:04 +01:00
2023-08-25 10:17:15 -04:00
2020-04-14 18:45:06 +02:00
2023-10-02 15:05:23 +00:00
2023-08-18 14:46:13 +02:00
2023-03-31 15:29:50 +02:00
2023-10-01 13:58:20 +01:00
2023-07-14 09:40:24 -04:00
2023-09-20 17:03:47 +00:00
2023-06-14 22:37:52 +02:00
2023-08-10 00:08:32 -04:00
2021-07-07 10:48:47 +02:00
2019-12-13 19:05:26 +01:00
2022-03-02 11:21:00 +01:00
2022-01-19 15:21:56 +01:00
2021-01-22 15:58:58 +00:00
2023-03-08 10:26:30 -05:00
2020-12-03 17:55:55 +01:00
2023-03-08 10:26:30 -05:00
2023-03-08 10:26:30 -05:00
2022-03-04 16:58:27 +01:00
2022-12-08 16:03:20 -05:00
2022-12-08 16:03:20 -05:00
2021-02-26 16:32:52 +00:00
2022-04-21 10:06:39 +02:00
2020-12-09 10:45:12 +01:00
2023-04-17 13:06:21 -04:00
2023-07-13 15:06:50 -04:00
2023-04-17 13:06:21 -04:00
2023-04-17 13:06:21 -04:00
2023-04-17 09:35:43 -04:00
2023-04-17 13:06:21 -04:00
2023-04-17 13:06:21 -04:00
2023-07-13 14:18:12 -05:00
2023-08-10 00:08:32 -04:00
2022-06-13 23:29:28 +02:00
2014-08-21 21:50:19 +02:00
2014-07-16 16:02:05 +02:00
2023-08-24 11:37:24 +02:00
2023-08-07 16:53:37 +02:00
2018-10-27 15:41:53 +02:00
2023-03-08 10:26:30 -05:00
2022-12-06 16:36:42 +01:00
2023-06-22 14:29:45 -04:00
2023-05-15 17:41:51 -04:00
2022-11-03 10:11:28 +01:00
2021-10-12 02:14:36 -04:00
2023-03-08 10:26:30 -05:00
2021-06-23 17:36:50 +02:00
2023-01-13 07:57:55 -08:00
2023-03-16 18:43:03 -04:00
2022-01-19 14:24:14 +01:00
2023-08-24 11:37:24 +02:00
2023-08-24 11:37:24 +02:00
2023-04-07 08:34:58 -04:00
2021-07-07 11:30:35 +02:00
2021-07-27 17:06:11 +02:00
2023-03-08 10:26:30 -05:00
2022-03-16 21:01:51 +02:00
2023-06-06 11:24:10 +02:00
2023-04-17 12:41:04 -04:00
2023-08-24 11:37:24 +02:00
2023-03-08 10:26:30 -05:00
2018-02-13 14:26:19 +00:00
2021-08-31 13:11:46 +02:00
2023-06-30 18:23:44 +02:00
2023-06-24 14:17:25 +10:00
2023-03-16 18:43:03 -04:00
2023-03-16 18:43:03 -04:00
2023-03-16 18:43:03 -04:00
2022-03-30 11:42:47 +02:00
2023-08-01 16:07:20 +02:00
2023-03-08 10:26:30 -05:00
2016-03-24 14:45:55 +01:00
2020-07-30 16:38:04 -05:00
2007-09-11 13:32:04 +00:00
2021-09-27 15:44:39 +02:00
2021-09-27 15:44:39 +02:00
2023-03-08 10:26:30 -05:00
2022-03-11 10:00:19 -05:00
2023-03-08 10:26:30 -05:00
2021-07-27 17:06:11 +02:00
2020-07-02 16:13:36 +02:00
2020-07-02 16:13:36 +02:00
2020-07-02 16:13:36 +02:00
2020-07-02 16:13:36 +02:00
2021-12-13 19:01:38 +01:00
2009-03-17 17:11:55 +00:00
2023-03-16 18:43:03 -04:00
2023-06-14 19:01:07 -04:00
2023-03-16 03:08:42 +08:00
2023-05-15 17:41:51 -04:00
2019-07-30 11:27:35 +02:00
2012-09-11 19:14:15 -04:00
2022-03-31 16:56:44 +02:00
2023-04-17 17:36:12 -04:00
2023-04-17 09:35:43 -04:00
2023-03-08 10:26:30 -05:00
2023-07-11 21:43:09 -04:00
2023-07-13 08:09:03 -04:00
2023-04-06 19:59:57 -04:00
2023-05-22 23:39:31 +02:00
2023-06-22 14:29:45 -04:00
2023-04-06 19:59:57 -04:00
2023-08-08 11:55:09 +02:00
2022-03-24 22:31:52 +01:00
2023-07-11 21:43:09 -04:00
2023-01-18 14:21:17 +01:00
2023-03-08 10:26:30 -05:00
2017-11-14 13:27:40 +01:00
2023-03-08 10:26:30 -05:00
2023-07-14 09:40:24 -04:00
2023-02-27 15:11:36 +01:00
2020-11-13 17:50:04 +01:00
2020-11-13 17:50:04 +01:00
2023-06-02 10:21:30 +02:00
2023-06-14 19:01:07 -04:00
2023-08-08 11:55:09 +02:00
2019-06-15 16:36:33 +02:00
2023-04-17 13:06:21 -04:00
2023-07-03 12:23:57 +02:00
2023-05-10 11:29:45 -04:00
2021-07-27 17:06:11 +02:00
2023-02-10 18:04:13 -05:00
2014-02-06 13:51:57 +01:00
2009-03-23 15:16:36 +00:00
2013-11-25 18:47:03 +01:00
2020-01-02 23:56:06 +00:00
2022-10-18 16:51:12 +02:00
2020-07-30 16:38:04 -05:00
2019-06-15 16:36:33 +02:00
2023-03-16 18:43:03 -04:00
2023-05-08 12:58:59 +02:00
2018-01-16 19:23:18 +01:00
2023-03-08 10:26:30 -05:00
2023-05-08 12:43:56 +02:00
2023-05-08 12:58:59 +02:00
2023-06-20 11:34:09 +02:00
2022-11-14 16:13:26 +01:00
2022-01-09 13:42:36 +03:00
2023-04-19 19:36:05 -04:00
2023-06-09 13:06:47 +02:00
2021-10-15 16:58:21 +02:00
2023-08-24 11:37:24 +02:00
2022-01-11 11:57:45 +01:00
2023-08-17 13:03:43 +02:00
2018-01-16 19:23:18 +01:00
2023-07-11 21:43:09 -04:00
2018-02-25 16:40:05 -06:00
2023-03-08 10:26:30 -05:00
2011-08-08 14:08:38 +00:00
2016-04-11 16:20:15 +02:00
2022-04-21 10:06:39 +02:00
2022-05-03 13:43:52 +02:00
2021-11-26 09:56:48 +01:00
2023-03-16 18:43:03 -04:00
2018-04-09 09:36:54 -04:00
2018-01-04 16:58:39 +01:00
2023-07-07 15:37:09 +02:00
2021-12-07 21:45:09 +01:00
2009-03-17 17:11:55 +00:00
2022-01-19 15:21:56 +01:00
2020-12-03 23:22:22 +01:00
2023-01-31 15:10:54 +01:00
2021-06-22 19:15:57 +02:00
2021-06-22 19:45:08 +02:00
2021-10-14 16:00:59 +02:00
2021-06-01 15:09:24 +02:00
2022-03-08 16:40:22 +01:00
2023-07-13 14:23:24 -05:00
2023-08-22 21:51:26 +02:00
2023-03-08 10:26:30 -05:00
2023-06-15 14:32:00 +02:00
2017-07-30 12:32:45 +01:00
2023-03-08 10:26:30 -05:00
2022-12-07 14:06:34 +01:00
2021-12-28 15:54:46 +03:00
2023-03-16 18:43:03 -04:00
2012-12-04 14:47:50 +01:00
2022-03-22 13:18:56 +01:00
2023-03-08 10:26:30 -05:00
2023-08-04 23:11:08 +02:00
2021-04-09 23:13:08 +02:00