b2f3564ab4
WIP
Build and deploy / build (push) Successful in 10m49s
Build and deploy / Deploy container (push) Has been skipped
2025-10-18 04:55:01 +02:00
92a0bff8c4
refactor(config)!: Move scheduler out of device_manager
...
Build and deploy / build (push) Successful in 10m5s
Build and deploy / Deploy container (push) Has been skipped
Due to changes made in mlua the new scheduler is much simpler. It also
had no real business being part of the device manager, so it has now been
moved to be part of the returned config.
2025-10-17 04:31:27 +02:00
187220a49b
feat: Receive devices through config return
2025-10-17 04:00:34 +02:00
4e2da2ecca
feat: Ensure consistent ordering device definitions
2025-10-17 03:57:33 +02:00
65c7ed6349
feat: Generate definitions for config
Build and deploy / build (push) Successful in 9m15s
Build and deploy / Deploy container (push) Has been skipped
2025-10-17 03:15:27 +02:00
6fc3783d7a
feat: Added lua definition files
...
Also added a pre-commit hook to ensure that the definitions files are
up-to-date.
2025-10-15 04:23:12 +02:00
4b76bde2a6
feat: Specify (optional) interface name in PartialUserData
2025-10-15 03:44:17 +02:00
45485fca37
feat: Add proper type definition for devices
...
Depending on the implemented traits the lua class will inherit from the
associated interface class.
It also specifies the constructor function for each of the devices.
2025-10-15 00:45:37 +02:00