build.yml): switch to trepplein (#7532)

Commit

4 years ago

ci(.github/workflows/build.yml): switch to trepplein (#7532) Reduces the leanchecker time from 6+57 minutes to 6+16 minutes.

Author

gebner

Parents