bemanproject / task / 22547456796

Builds Branch Commit Type Ran Committer Via Coverage
22547456796 update/pre-commit-autoupdate Merge 209d50eb8 into c6fe16f3d Pull #68 web-flow github
93.79
22332998628 main Task allocation (#63) * add a paper on task allocation * updated the overview * added the missing member operator new * fix date and typos * fixed a few issues, brought date up to date, and add LEWG outcome * fix some typos and update the ex... push web-flow github
93.79
22332405872 task-allocation Merge fa3f441a4 into 52e498984 Pull #63 web-flow github
93.79
22331055054 task-allocation Merge 31c2b475d into 52e498984 Pull #63 web-flow github
93.79
22329730591 main added the latest version of P3941, dealing with get_start_scheduler push web-flow github
92.69
22329234880 get_start_scheduler Merge 1dcb30170 into 8b340c17a Pull #67 web-flow github
92.69
22329145782 get_start_scheduler Merge f3bf2287b into 8b340c17a Pull #67 web-flow github
92.69
22328532188 main Quickfix: PROJECT_NAME instead of CMAKE_PROJECT_NAME (#65) * Quickfix: PROJECT_NAME instead of CMAKE_PROJECT_NAME * Use FETCHCONTENT_SOURCE_DIR_<uppercaseName> right * VERIFY_INTERFACE_HEADER_SETS only if PROJECT_IS_TOP_LEVEL push web-flow github
92.69
22324964263 main Remove myself from codeowners (#66) Remove myself from codeowners. I did not actually help in the last few months (many months). push web-flow github
92.69
22322844921 neatudarius-patch-1 Merge 62be39d6f into 90751372c Pull #66 web-flow github
92.69
22307433820 feature/use-explicit-target-names Merge 9ed1703cf into 90751372c Pull #65 web-flow github
92.69
22306551998 feature/use-explicit-target-names Merge b34fcb8da into 90751372c Pull #65 web-flow github
92.69
22303448862 feature/use-explicit-target-names Merge 6964d0fae into 90751372c Pull #65 web-flow github
92.69
22284486868 task-allocation Merge dbdf2c022 into 90751372c Pull #63 web-flow github
93.79
22283080762 main Add interface lib beman.task_headers (#62) * Add interface lib beman.task_headers * Sync config files with execution repo push web-flow github
92.69