Skip to content
Snippets Groups Projects
Commit 1f7d1bf5 authored by akwizgran's avatar akwizgran
Browse files

Merge branch '675-polite-executor' into 'master'

Use a polite executor for validation tasks

Closes #675

See merge request !507
parents a931e6b3 fb85ecf0
No related branches found
No related tags found
No related merge requests found
Showing
with 444 additions and 314 deletions
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