Zulip Chat Archive
Stream: toric
Topic: Bumps
Yaël Dillies (Mar 06 2025 at 20:34):
We need to bump Toric to include #22636, which upstreamed a few lemmas.
Paul Lezeau (Mar 07 2025 at 09:51):
I can take care of this tonight!
Michał Mrugała (Mar 07 2025 at 18:09):
Bumped
Yaël Dillies (Mar 09 2025 at 21:33):
We need a bump for the IsCommMon material
Michał Mrugała (Mar 09 2025 at 22:06):
I'm on it
Michał Mrugała (Mar 09 2025 at 22:33):
Bumped
Yaël Dillies (Mar 13 2025 at 11:45):
Bumped to include #22873
Yaël Dillies (Mar 18 2025 at 12:19):
Bumped to include #22874
Yaël Dillies (Mar 18 2025 at 17:34):
Bumped to include #22963
Yaël Dillies (Mar 31 2025 at 10:10):
Bumped to include #22970 and #23475
Yaël Dillies (Mar 31 2025 at 16:25):
Bumped to include #23481 and #23484
Yaël Dillies (Apr 01 2025 at 13:16):
We are now on v4.18.0 :tada:
Yaël Dillies (Apr 01 2025 at 13:30):
Bumped to include #22982 and #23480
Yaël Dillies (Apr 01 2025 at 15:21):
Bumped to include #23479
Michał Mrugała (Apr 01 2025 at 23:14):
Bumped to include #23482 and #23537
Yaël Dillies (Apr 03 2025 at 19:20):
Bumped to include #22932, #23483 and #23485
Yaël Dillies (Apr 06 2025 at 18:53):
Bumped to include #23597 and #23701
Yaël Dillies (Apr 08 2025 at 16:55):
Bumped to include #23562
Yaël Dillies (Apr 08 2025 at 17:57):
Bumped to include #23840
Yaël Dillies (Apr 08 2025 at 19:24):
Bumped to include #23836
Yaël Dillies (Apr 09 2025 at 05:52):
Bumped to include #23841
Yaël Dillies (Apr 09 2025 at 09:41):
Bumped to include #23842
Yaël Dillies (Apr 09 2025 at 13:30):
Bumped to include #23702 and #23843
Yaël Dillies (Apr 10 2025 at 08:12):
Bumped to include #23839 and #23871
Yaël Dillies (Apr 11 2025 at 07:01):
Bumped to include #23874 and #23887 (thanks Moisés!)
Yaël Dillies (Apr 11 2025 at 09:15):
Bumped to include #23695
Yaël Dillies (Apr 14 2025 at 06:33):
Bumped to include #23045
Yaël Dillies (Apr 15 2025 at 11:11):
Bumped to include #23723
Yaël Dillies (Apr 15 2025 at 14:29):
Bumped to include #21399 (after two months waiting :tada:)
Yaël Dillies (Apr 17 2025 at 10:44):
Bumped to include #22904
Yaël Dillies (Apr 22 2025 at 18:01):
Bumped to include #22962 and #24194
Yaël Dillies (Apr 23 2025 at 10:37):
Bumped to include #23722
Yaël Dillies (Apr 23 2025 at 11:13):
Bumped to include #24138
Yaël Dillies (Apr 28 2025 at 11:13):
Bumped to include #24388
Yaël Dillies (Apr 28 2025 at 20:19):
Bumped to include #24224
Yaël Dillies (May 02 2025 at 08:11):
We are now on v4.19.0 :tada:
Yaël Dillies (May 09 2025 at 09:13):
Bumped to include #23972 and #24399
Yaël Dillies (May 09 2025 at 20:33):
Bumped to include #24721
Yaël Dillies (May 09 2025 at 21:19):
Bumped to include #23912 and #23942 (thanks Moisés again!)
Yaël Dillies (May 11 2025 at 12:47):
Bumped to include #24118
Yaël Dillies (May 11 2025 at 13:11):
Bumped to include #24768
Yaël Dillies (May 11 2025 at 18:01):
Bumped to include #24328 and #24779
Yaël Dillies (May 12 2025 at 14:28):
Bumped to include #24738
Yaël Dillies (May 14 2025 at 09:28):
Bumped to include #24312 and #24852
Yaël Dillies (May 14 2025 at 17:51):
Bumped to include #23424, #23904, #24879, #24766, #24896
Yaël Dillies (May 15 2025 at 13:35):
Bumped to include #24914
Yaël Dillies (May 27 2025 at 12:55):
Bumped to include #23721, #24121 (thanks Sophie!), #25055
Yaël Dillies (May 27 2025 at 12:56):
Bumped to include #25178, #25181, #25196
Yaël Dillies (Jul 05 2025 at 15:58):
The bump is difficult this time around. I am currently stuck at a timeout in Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.Grp_. I would appreciate help in YaelDillies/Toric#42
Yaël Dillies (Jul 05 2025 at 15:59):
cc @Yuma Mizuno since I believe it's yet again an issue with the IsMon_Hom simp lemmas
Last updated: Dec 20 2025 at 21:32 UTC