Add v0.25.1 to testing repo

Our repo should hopefully be correctly signed now!

Part of #162.