Skip to content

Fixed a bug in verdi work kill#980

Merged
giovannipizzi merged 3 commits intoaiidateam:release_v0.10.1from AntimoMarrazzo:fix_workflow_killDec 13, 2017

Commits

Commits on Dec 8, 2017