Merge pull request #138 from moves-rwth/136-flexible-scheduler-for-th… #106

Triggered via push November 14, 2024 09:51

PimLeerkes

main

Status Success

Total duration 2m 38s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	561 KB