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
Last updated: May 02 2025 at 03:31 UTC