Dario Nieuwenhuis 171cdb94c7 executor: add support for main/task macros in stable (allocates tasks in an arena)		2023-11-24 23:52:09 +01:00
..
ci	executor: add support for main/task macros in stable (allocates tasks in an arena)	2023-11-24 23:52:09 +01:00
workflows	Move doc building to new CI.	2023-05-31 14:29:40 +02:00