mentioned in merge request !168
added 1 commit
Thanks! The CI failures seem rather odd, and since they're not happening on other recent MRs, I suspect that they might be transient failures. I went ahead and pushed another patch needed to make the master
CI job work, which should also restart the CI and (hopefully) get it to work.
enabled an automatic merge when the pipeline for 29ef2b04 succeeds
merged
mentioned in commit 946052d2