Skip to content

Tags: leanprover-community/mathlib4

Tags

nightly-testing-2025-01-30

Toggle nightly-testing-2025-01-30's commit message
don't count heartbeats

nightly-testing-2025-01-29

Toggle nightly-testing-2025-01-29's commit message
shake

nightly-testing-2025-01-28

Toggle nightly-testing-2025-01-28's commit message
Merge master into nightly-testing

nightly-testing-2025-01-27

Toggle nightly-testing-2025-01-27's commit message
Adaption for leanprover/lean4#6755

nightly-testing-2025-01-26

Toggle nightly-testing-2025-01-26's commit message
chore: bump to nightly-2025-01-26

nightly-testing-2025-01-25

Toggle nightly-testing-2025-01-25's commit message
Merge master into nightly-testing

nightly-testing-2025-01-24

Toggle nightly-testing-2025-01-24's commit message
Adjust expected output in MathlibTest.CountHeartbeats

nightly-testing-2025-01-23

Toggle nightly-testing-2025-01-23's commit message
chore: bump to nightly-2025-01-23

nightly-testing-2025-01-22

Toggle nightly-testing-2025-01-22's commit message
chore: bump to nightly-2025-01-22

nightly-testing-2025-01-21

Toggle nightly-testing-2025-01-21's commit message
fix