Skip to content
Snippets Groups Projects
Commit 60d71334 authored by Florian Schmaus's avatar Florian Schmaus
Browse files

Merge branch 'callerenv' into 'master'

[LawsScheduler] Guard Runtime::getWorkerId() with CallerEnvironment

See merge request !192
parents 84fbd959 1c16998a
No related branches found
No related tags found
1 merge request!192[LawsScheduler] Guard Runtime::getWorkerId() with CallerEnvironment
Pipeline #61987 passed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment