CI: fix sri-csl/formal-methods PPA series.