CI apparently failed half-way through running "cat" after merge to devel. I reran and no problems, but thought I'd note in an issue.
Job #14903964 failed for f9892c04: