Skip to content
Snippets Groups Projects
Commit cf0055ae authored by Sören Henning's avatar Sören Henning
Browse files

Merge branch '87-random-scheduling' into 'master' 

Allow using a random scheduler

Closes #87

See merge request !61
parents 2f4bed1e 6042ce94
Branches
Tags
1 merge request!61Allow using a random scheduler
Pipeline #2132 passed
Stage: build
Stage: test
Stage: check
Stage: deploy