Skip to content

Make check_ir dump upon failure and call Check_ir only from pipeline#176

Merged
nomeata merged 3 commits intomasterfrom
joachim/check_ir
Feb 15, 2019
Merged

Make check_ir dump upon failure and call Check_ir only from pipeline#176
nomeata merged 3 commits intomasterfrom
joachim/check_ir

Commits

Commits on Feb 15, 2019