ci(.github/workflows/build.yml): switch to trepplein (#7532)
ci(.github/workflows/build.yml): switch to trepplein (#7532)

Reduces the leanchecker time from 6+57 minutes to 6+16 minutes.





leanprover-community/mathlib,leanprover-community/mathlib