Zulip Chat Archive
Stream: nightly-testing
Topic: mathlib test executable
github mathlib4 bot (May 02 2025 at 00:43):
:check: mathlib_test_executable succeeded on b40a06417b06ce02e2cc5f687bb8649ff3d5a42d (branch: nightly-testing-2025-05-01)
github mathlib4 bot (May 02 2025 at 01:36):
:check: mathlib_test_executable succeeded on b40a06417b06ce02e2cc5f687bb8649ff3d5a42d (branch: master)
github mathlib4 bot (May 03 2025 at 01:43):
:check: mathlib_test_executable succeeded on 01239f4904a7e86e772ed7cf0e5712134f840718 (branch: master)
github mathlib4 bot (May 03 2025 at 01:44):
:check: mathlib_test_executable succeeded on 01239f4904a7e86e772ed7cf0e5712134f840718 (branch: nightly-testing-2025-05-02)
github mathlib4 bot (May 04 2025 at 01:42):
:check: mathlib_test_executable succeeded on 22711cf78da3e4cfdb8a28cce9073f0986ca11dd (branch: nightly-testing-2025-05-03)
github mathlib4 bot (May 04 2025 at 01:47):
:check: mathlib_test_executable succeeded on 22711cf78da3e4cfdb8a28cce9073f0986ca11dd (branch: master)
github mathlib4 bot (May 05 2025 at 01:43):
:check: mathlib_test_executable succeeded on 03bc870a1a65cfea41eecb05a8599288a601629b (branch: master)
github mathlib4 bot (May 05 2025 at 01:46):
:check: mathlib_test_executable succeeded on 03bc870a1a65cfea41eecb05a8599288a601629b (branch: nightly-testing-2025-05-03)
github mathlib4 bot (May 06 2025 at 00:42):
:check: mathlib_test_executable succeeded on 85654a32f979407573b2ec9f682485619970a242 (branch: master)
github mathlib4 bot (May 06 2025 at 01:44):
:check: mathlib_test_executable succeeded on 85654a32f979407573b2ec9f682485619970a242 (branch: nightly-testing-2025-05-05)
github mathlib4 bot (May 07 2025 at 00:42):
:check: mathlib_test_executable succeeded on 554d794c8dbf32758e9a66527c898fe904933c56 (branch: master)
github mathlib4 bot (May 07 2025 at 01:44):
:check: mathlib_test_executable succeeded on 554d794c8dbf32758e9a66527c898fe904933c56 (branch: nightly-testing-2025-05-06)
github mathlib4 bot (May 08 2025 at 00:44):
:check: mathlib_test_executable succeeded on a14c28b31a1787f81fa59756cded637bae0be55a (branch: master)
github mathlib4 bot (May 08 2025 at 01:42):
:check: mathlib_test_executable succeeded on a14c28b31a1787f81fa59756cded637bae0be55a (branch: nightly-testing-2025-05-07)
github mathlib4 bot (May 09 2025 at 00:42):
:check: mathlib_test_executable succeeded on c2eae28089486ed39cfecee5475e2293d28b08f0 (branch: master)
github mathlib4 bot (May 09 2025 at 01:43):
:check: mathlib_test_executable succeeded on c2eae28089486ed39cfecee5475e2293d28b08f0 (branch: nightly-testing-2025-05-08)
github mathlib4 bot (May 10 2025 at 00:40):
:check: mathlib_test_executable succeeded on 3008304e7959628b0759667dd5321149ae9b8100 (branch: master)
github mathlib4 bot (May 10 2025 at 01:43):
:check: mathlib_test_executable succeeded on 3008304e7959628b0759667dd5321149ae9b8100 (branch: nightly-testing-2025-05-09)
github mathlib4 bot (May 11 2025 at 00:43):
:check: mathlib_test_executable succeeded on a55bbf799c39feddc50a2a4d2464234ac89fea05 (branch: master)
github mathlib4 bot (May 11 2025 at 01:42):
:check: mathlib_test_executable succeeded on a55bbf799c39feddc50a2a4d2464234ac89fea05 (branch: nightly-testing-2025-05-10)
github mathlib4 bot (May 12 2025 at 00:43):
:check: mathlib_test_executable succeeded on b16b8f3a78e46e7f35fd5b4a866742284af9aef3 (branch: master)
github mathlib4 bot (May 12 2025 at 01:44):
:check: mathlib_test_executable succeeded on b16b8f3a78e46e7f35fd5b4a866742284af9aef3 (branch: nightly-testing-2025-05-11)
github mathlib4 bot (May 13 2025 at 01:42):
:check: mathlib_test_executable succeeded on 165f83afc42521e71d1da502c155bc5349f011c8 (branch: nightly-testing-2025-05-12)
github mathlib4 bot (May 13 2025 at 01:43):
:check: mathlib_test_executable succeeded on 165f83afc42521e71d1da502c155bc5349f011c8 (branch: master)
github mathlib4 bot (May 14 2025 at 01:38):
:check: mathlib_test_executable succeeded on 40fea0861ba6601f4dcbe6c92a916266009e9bd9 (branch: nightly-testing-2025-05-13)
github mathlib4 bot (May 14 2025 at 01:41):
:check: mathlib_test_executable succeeded on 40fea0861ba6601f4dcbe6c92a916266009e9bd9 (branch: master)
github mathlib4 bot (May 15 2025 at 01:39):
:check: mathlib_test_executable succeeded on d6c3a2d285e461d43a0bed7d7a2aa51fce4de3d9 (branch: master)
github mathlib4 bot (May 15 2025 at 01:42):
:check: mathlib_test_executable succeeded on d6c3a2d285e461d43a0bed7d7a2aa51fce4de3d9 (branch: nightly-testing-2025-05-13)
github mathlib4 bot (May 16 2025 at 01:39):
:check: mathlib_test_executable succeeded on 4551f5664b69a6e16aaad2ade073c9c0cd1b8639 (branch: nightly-testing-2025-05-14)
github mathlib4 bot (May 16 2025 at 01:40):
:check: mathlib_test_executable succeeded on 4551f5664b69a6e16aaad2ade073c9c0cd1b8639 (branch: master)
github mathlib4 bot (May 17 2025 at 01:39):
:check: mathlib_test_executable succeeded on 9bdfd589c45d38b4ac62a3494c82e29332a3bcdd (branch: nightly-testing-2025-05-16)
github mathlib4 bot (May 17 2025 at 01:41):
:check: mathlib_test_executable succeeded on 9bdfd589c45d38b4ac62a3494c82e29332a3bcdd (branch: master)
github mathlib4 bot (May 18 2025 at 01:39):
:check: mathlib_test_executable succeeded on e1e4c88cdfc425d90f1be5bb551596b6be9c2bb2 (branch: master)
github mathlib4 bot (May 18 2025 at 01:42):
:check: mathlib_test_executable succeeded on e1e4c88cdfc425d90f1be5bb551596b6be9c2bb2 (branch: nightly-testing-2025-05-17)
github mathlib4 bot (May 19 2025 at 01:39):
:check: mathlib_test_executable succeeded on ddbcd9d922a4534f7b639c85a5448778c17370e4 (branch: master)
github mathlib4 bot (May 19 2025 at 01:41):
:check: mathlib_test_executable succeeded on ddbcd9d922a4534f7b639c85a5448778c17370e4 (branch: nightly-testing-2025-05-17)
github mathlib4 bot (May 20 2025 at 01:40):
:check: mathlib_test_executable succeeded on 47c75ed1e841cc8d8abc91741e157704a073f253 (branch: nightly-testing-2025-05-19)
github mathlib4 bot (May 20 2025 at 01:46):
:check: mathlib_test_executable succeeded on 47c75ed1e841cc8d8abc91741e157704a073f253 (branch: master)
github mathlib4 bot (May 21 2025 at 01:42):
:check: mathlib_test_executable succeeded on 83f3832c6cfeecbc8d16b0248c98346956a7f0e5 (branch: master)
github mathlib4 bot (May 21 2025 at 01:43):
:check: mathlib_test_executable succeeded on 83f3832c6cfeecbc8d16b0248c98346956a7f0e5 (branch: nightly-testing-2025-05-19)
github mathlib4 bot (May 22 2025 at 01:37):
:check: mathlib_test_executable succeeded on 5ff9e3752adf5ffaed9d0dbb464449cf73d1c361 (branch: master)
github mathlib4 bot (May 22 2025 at 01:40):
:check: mathlib_test_executable succeeded on 5ff9e3752adf5ffaed9d0dbb464449cf73d1c361 (branch: nightly-testing-2025-05-21)
github mathlib4 bot (May 23 2025 at 01:39):
:check: mathlib_test_executable succeeded on b057c67c0905df3e5eabf70651a42625f05a56b9 (branch: master)
github mathlib4 bot (May 23 2025 at 01:41):
:check: mathlib_test_executable succeeded on b057c67c0905df3e5eabf70651a42625f05a56b9 (branch: nightly-testing-2025-05-22)
github mathlib4 bot (May 24 2025 at 01:37):
:check: mathlib_test_executable succeeded on 7ed4f8133a70f240f60891015f1df6d7bf6c8030 (branch: master)
github mathlib4 bot (May 24 2025 at 01:39):
:check: mathlib_test_executable succeeded on 7ed4f8133a70f240f60891015f1df6d7bf6c8030 (branch: nightly-testing-2025-05-22)
github mathlib4 bot (May 25 2025 at 01:41):
:check: mathlib_test_executable succeeded on bd15474dc857a20ad4b7e5538d572ec080b8e79e (branch: master)
github mathlib4 bot (May 25 2025 at 01:42):
:check: mathlib_test_executable succeeded on bd15474dc857a20ad4b7e5538d572ec080b8e79e (branch: nightly-testing-2025-05-24)
github mathlib4 bot (May 26 2025 at 01:42):
:check: mathlib_test_executable succeeded on 82012aca9087eccd1be07d4acf2e12207e88a92f (branch: master)
github mathlib4 bot (May 26 2025 at 01:46):
:check: mathlib_test_executable succeeded on 82012aca9087eccd1be07d4acf2e12207e88a92f (branch: nightly-testing-2025-05-25)
github mathlib4 bot (May 27 2025 at 01:39):
:check: mathlib_test_executable succeeded on 61de43dfb330ba44bc6ac5603a46cedc2583b583 (branch: nightly-testing-2025-05-26)
github mathlib4 bot (May 27 2025 at 01:45):
:check: mathlib_test_executable succeeded on 61de43dfb330ba44bc6ac5603a46cedc2583b583 (branch: master)
github mathlib4 bot (May 28 2025 at 01:40):
:check: mathlib_test_executable succeeded on 10f8754bb0880adf8d5c76e91c1959968709a264 (branch: master)
github mathlib4 bot (May 28 2025 at 01:45):
:check: mathlib_test_executable succeeded on 10f8754bb0880adf8d5c76e91c1959968709a264 (branch: nightly-testing-2025-05-27)
github mathlib4 bot (May 29 2025 at 01:39):
:check: mathlib_test_executable succeeded on b5423b71cf1e1bd16c3668e70af3f1568f5dc221 (branch: master)
github mathlib4 bot (May 29 2025 at 01:42):
:check: mathlib_test_executable succeeded on b5423b71cf1e1bd16c3668e70af3f1568f5dc221 (branch: nightly-testing-2025-05-27)
github mathlib4 bot (May 30 2025 at 01:39):
:check: mathlib_test_executable succeeded on 1a9b964b92509b9a757fd24bae6b6b9812443163 (branch: master)
github mathlib4 bot (May 30 2025 at 01:41):
:check: mathlib_test_executable succeeded on 1a9b964b92509b9a757fd24bae6b6b9812443163 (branch: nightly-testing-2025-05-28)
github mathlib4 bot (May 31 2025 at 00:44):
:check: mathlib_test_executable succeeded on 4459088658417ad4ec82b194da3184cbe638b7e0 (branch: nightly-testing-2025-05-29)
github mathlib4 bot (May 31 2025 at 01:43):
:check: mathlib_test_executable succeeded on 4459088658417ad4ec82b194da3184cbe638b7e0 (branch: master)
github mathlib4 bot (Jun 01 2025 at 00:50):
:check: mathlib_test_executable succeeded on 644a2302b0210c65cac2ba7497eba7f90a3cb803 (branch: nightly-testing-2025-05-29)
github mathlib4 bot (Jun 01 2025 at 01:44):
:check: mathlib_test_executable succeeded on 644a2302b0210c65cac2ba7497eba7f90a3cb803 (branch: master)
github mathlib4 bot (Jun 02 2025 at 00:44):
:check: mathlib_test_executable succeeded on ac7d8cf03db685fb9230d273bbe09ace3cc370df (branch: nightly-testing-2025-05-29)
github mathlib4 bot (Jun 02 2025 at 01:39):
:check: mathlib_test_executable succeeded on ac7d8cf03db685fb9230d273bbe09ace3cc370df (branch: master)
github mathlib4 bot (Jun 03 2025 at 01:39):
:check: mathlib_test_executable succeeded on 2a41a7a16046114bc796131e0c9db11659acaf70 (branch: master)
github mathlib4 bot (Jun 03 2025 at 01:42):
:check: mathlib_test_executable succeeded on 2a41a7a16046114bc796131e0c9db11659acaf70 (branch: nightly-testing-2025-06-02)
github mathlib4 bot (Jun 04 2025 at 01:44):
:check: mathlib_test_executable succeeded on 6189bf8adfc456eea59cf1159e3b9621799f1886 (branch: nightly-testing-2025-06-03)
github mathlib4 bot (Jun 04 2025 at 01:48):
:check: mathlib_test_executable succeeded on 6189bf8adfc456eea59cf1159e3b9621799f1886 (branch: master)
github mathlib4 bot (Jun 05 2025 at 01:41):
:check: mathlib_test_executable succeeded on 71aa47755e41cb75ac0fe8f15d4dd334cacc6dc7 (branch: master)
github mathlib4 bot (Jun 05 2025 at 01:44):
:check: mathlib_test_executable succeeded on 71aa47755e41cb75ac0fe8f15d4dd334cacc6dc7 (branch: nightly-testing-2025-06-04)
github mathlib4 bot (Jun 06 2025 at 01:39):
:check: mathlib_test_executable succeeded on e753bac5b48bb6709ce91da380df24b2f04120b1 (branch: nightly-testing-2025-06-05)
github mathlib4 bot (Jun 06 2025 at 01:42):
:check: mathlib_test_executable succeeded on e753bac5b48bb6709ce91da380df24b2f04120b1 (branch: master)
github mathlib4 bot (Jun 07 2025 at 01:41):
:check: mathlib_test_executable succeeded on 730e4db21155a3faee9cadd55d244dbf72f06391 (branch: master)
github mathlib4 bot (Jun 07 2025 at 01:42):
:check: mathlib_test_executable succeeded on 730e4db21155a3faee9cadd55d244dbf72f06391 (branch: nightly-testing-2025-06-05)
github mathlib4 bot (Jun 08 2025 at 01:43):
:check: mathlib_test_executable succeeded on bb076f5f2d39b534b917755b0338314b6714304b (branch: nightly-testing-2025-06-05)
github mathlib4 bot (Jun 08 2025 at 01:43):
:check: mathlib_test_executable succeeded on bb076f5f2d39b534b917755b0338314b6714304b (branch: master)
github mathlib4 bot (Jun 09 2025 at 01:42):
:check: mathlib_test_executable succeeded on 8b8fe2fa631658e55895b284747a997a249d3599 (branch: master)
github mathlib4 bot (Jun 09 2025 at 01:45):
:check: mathlib_test_executable succeeded on 8b8fe2fa631658e55895b284747a997a249d3599 (branch: nightly-testing-2025-06-05)
github mathlib4 bot (Jun 10 2025 at 01:40):
:check: mathlib_test_executable succeeded on 30b4d6e87eaaa93450a25e8ad795bf3596275589 (branch: master)
github mathlib4 bot (Jun 10 2025 at 01:40):
:check: mathlib_test_executable succeeded on 30b4d6e87eaaa93450a25e8ad795bf3596275589 (branch: nightly-testing-2025-06-05)
github mathlib4 bot (Jun 11 2025 at 00:58):
:check: mathlib_test_executable succeeded on 853aa9e9be1affcd90daad6d3a9e05fcb739885c (branch: nightly-testing-2025-06-09)
github mathlib4 bot (Jun 11 2025 at 01:40):
:check: mathlib_test_executable succeeded on 853aa9e9be1affcd90daad6d3a9e05fcb739885c (branch: master)
github mathlib4 bot (Jun 12 2025 at 00:56):
:check: mathlib_test_executable succeeded on d596d8c5bbf4a4a56c9d8f2214d1905e0a1b2c30 (branch: nightly-testing-2025-06-11)
github mathlib4 bot (Jun 12 2025 at 01:41):
:check: mathlib_test_executable succeeded on d596d8c5bbf4a4a56c9d8f2214d1905e0a1b2c30 (branch: master)
github mathlib4 bot (Jun 13 2025 at 01:40):
:check: mathlib_test_executable succeeded on 04defa097355b5354bc614e78d62381915de05c3 (branch: master)
github mathlib4 bot (Jun 13 2025 at 01:44):
:check: mathlib_test_executable succeeded on 04defa097355b5354bc614e78d62381915de05c3 (branch: nightly-testing-2025-06-12)
github mathlib4 bot (Jun 14 2025 at 01:39):
:check: mathlib_test_executable succeeded on 500dfe433a366d409a53a24ac6d8707b1fad58df (branch: master)
github mathlib4 bot (Jun 14 2025 at 01:44):
:check: mathlib_test_executable succeeded on 500dfe433a366d409a53a24ac6d8707b1fad58df (branch: nightly-testing-2025-06-12)
github mathlib4 bot (Jun 15 2025 at 01:43):
:check: mathlib_test_executable succeeded on ad1b437587a1dbcc0b22624cb0ae9208d206508a (branch: master)
github mathlib4 bot (Jun 15 2025 at 01:44):
:check: mathlib_test_executable succeeded on ad1b437587a1dbcc0b22624cb0ae9208d206508a (branch: nightly-testing-2025-06-12)
github mathlib4 bot (Jun 16 2025 at 01:41):
:check: mathlib_test_executable succeeded on 8744850cc139c0d23086fdabad638f970a983bce (branch: master)
github mathlib4 bot (Jun 16 2025 at 01:45):
:check: mathlib_test_executable succeeded on 8744850cc139c0d23086fdabad638f970a983bce (branch: nightly-testing-2025-06-15)
github mathlib4 bot (Jun 17 2025 at 01:42):
:check: mathlib_test_executable succeeded on 953440dbe5b77d9a00996d6c216a2605a70b5560 (branch: master)
github mathlib4 bot (Jun 17 2025 at 01:44):
:check: mathlib_test_executable succeeded on 953440dbe5b77d9a00996d6c216a2605a70b5560 (branch: nightly-testing-2025-06-16)
github mathlib4 bot (Jun 18 2025 at 01:44):
:check: mathlib_test_executable succeeded on 1d8d0c7a970a07723db964ad82711708173b1eef (branch: master)
github mathlib4 bot (Jun 18 2025 at 01:53):
:check: mathlib_test_executable succeeded on 1d8d0c7a970a07723db964ad82711708173b1eef (branch: nightly-testing-2025-06-17)
github mathlib4 bot (Jun 19 2025 at 01:41):
:check: mathlib_test_executable succeeded on 2b29188515c6bf63a547a0dc0af2f536dc5496a7 (branch: master)
github mathlib4 bot (Jun 19 2025 at 01:43):
:check: mathlib_test_executable succeeded on 2b29188515c6bf63a547a0dc0af2f536dc5496a7 (branch: nightly-testing-2025-06-18)
github mathlib4 bot (Jun 20 2025 at 01:41):
:check: mathlib_test_executable succeeded on 11c6fbd61e7ad45f5b09ec03688b1faebd8c6bc5 (branch: master)
github mathlib4 bot (Jun 20 2025 at 01:42):
:check: mathlib_test_executable succeeded on 11c6fbd61e7ad45f5b09ec03688b1faebd8c6bc5 (branch: nightly-testing-2025-06-19)
github mathlib4 bot (Jun 21 2025 at 01:42):
:check: mathlib_test_executable succeeded on 2e2176e9279788752d782f0dfa3a33a15ef44e71 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 21 2025 at 01:43):
:check: mathlib_test_executable succeeded on 2e2176e9279788752d782f0dfa3a33a15ef44e71 (branch: master)
github mathlib4 bot (Jun 22 2025 at 01:43):
:check: mathlib_test_executable succeeded on e2f8bf7b23d89378826e81b4404891f7291233a8 (branch: master)
github mathlib4 bot (Jun 22 2025 at 01:45):
:check: mathlib_test_executable succeeded on e2f8bf7b23d89378826e81b4404891f7291233a8 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 23 2025 at 01:58):
:check: mathlib_test_executable succeeded on dfe27eb22938975e824222cf1b326c7561de3e93 (branch: master)
github mathlib4 bot (Jun 23 2025 at 01:59):
:check: mathlib_test_executable succeeded on dfe27eb22938975e824222cf1b326c7561de3e93 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 24 2025 at 01:42):
:check: mathlib_test_executable succeeded on 108ee02a4eb855638a535bcc8d97d4b698d08e65 (branch: master)
github mathlib4 bot (Jun 24 2025 at 01:43):
:check: mathlib_test_executable succeeded on 108ee02a4eb855638a535bcc8d97d4b698d08e65 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 25 2025 at 01:40):
:check: mathlib_test_executable succeeded on 1b03e7b14ec4cb0450bbb284076d9d9ba88c04df (branch: master)
github mathlib4 bot (Jun 25 2025 at 01:45):
:check: mathlib_test_executable succeeded on 1b03e7b14ec4cb0450bbb284076d9d9ba88c04df (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 26 2025 at 01:43):
:check: mathlib_test_executable succeeded on 6e08340fe7c928dd55c20625ccf419477f5dd106 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 26 2025 at 01:44):
:check: mathlib_test_executable succeeded on 6e08340fe7c928dd55c20625ccf419477f5dd106 (branch: master)
github mathlib4 bot (Jun 27 2025 at 01:42):
:check: mathlib_test_executable succeeded on dfa7ff85a62d00f94497951a7dfd8c4a0256aa62 (branch: master)
github mathlib4 bot (Jun 27 2025 at 01:43):
:check: mathlib_test_executable succeeded on dfa7ff85a62d00f94497951a7dfd8c4a0256aa62 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 28 2025 at 01:41):
:check: mathlib_test_executable succeeded on f3731eaabfa91f8610f09b48be38213d6c16d171 (branch: master)
github mathlib4 bot (Jun 28 2025 at 01:48):
:check: mathlib_test_executable succeeded on f3731eaabfa91f8610f09b48be38213d6c16d171 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 29 2025 at 01:43):
:check: mathlib_test_executable succeeded on c953365ada3698540d5e4906b4c590559b87c212 (branch: master)
github mathlib4 bot (Jun 29 2025 at 01:47):
:check: mathlib_test_executable succeeded on c953365ada3698540d5e4906b4c590559b87c212 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 30 2025 at 01:48):
:check: mathlib_test_executable succeeded on 162202c5458b6c4de7f8f418197dea84aff96ec5 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 30 2025 at 01:49):
:check: mathlib_test_executable succeeded on 162202c5458b6c4de7f8f418197dea84aff96ec5 (branch: master)
github mathlib4 bot (Jul 01 2025 at 00:51):
:check: mathlib_test_executable succeeded on 96db0ceb66e5b4d468a52c4c5fc5ac57cc6f8bd9 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 01 2025 at 01:46):
:check: mathlib_test_executable succeeded on 96db0ceb66e5b4d468a52c4c5fc5ac57cc6f8bd9 (branch: master)
github mathlib4 bot (Jul 02 2025 at 00:45):
:check: mathlib_test_executable succeeded on 2d1d08870598f86de8f9ca84096c7be87393955e (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 03 2025 at 00:44):
:check: mathlib_test_executable succeeded on 2eda5e7435c2e3e23f7b195a49c4e7043d863533 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 04 2025 at 00:46):
:check: mathlib_test_executable succeeded on ede29a38dfb2b9841d4898ff4525e9504667a057 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 05 2025 at 00:44):
:check: mathlib_test_executable succeeded on 0faf9c7e5dce691f1a9e2e5dc1aa2499e9acb2e0 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 06 2025 at 00:47):
:check: mathlib_test_executable succeeded on 4ed2ceba51063e4887ef21baa38f709d1661c301 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 07 2025 at 00:45):
:check: mathlib_test_executable succeeded on d3c315dc6c0723c2a561fd5439cfad56722f412b (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 08 2025 at 00:45):
:check: mathlib_test_executable succeeded on 7e05fd873e316333cfff5f644da91ebd62993dee (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 09 2025 at 00:47):
:check: mathlib_test_executable succeeded on fb6a587d402f3b0288e4784fa2f6d5ff7c41d1e7 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 10 2025 at 00:45):
:check: mathlib_test_executable succeeded on 97e6e3577558f501ae6f8b6128ddfc329ee5ad2a (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 11 2025 at 00:44):
:check: mathlib_test_executable succeeded on d19cd93f3db24ca3a2ab957c266dd7e1ce2110fa (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 12 2025 at 00:44):
:check: mathlib_test_executable succeeded on ba454ce1f3d3aabc948e53f57d8f06854c4f6eb1 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 13 2025 at 00:48):
:check: mathlib_test_executable succeeded on a4ebcd794d82f768641a4038a78a8851e77a6561 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 14 2025 at 00:45):
:check: mathlib_test_executable succeeded on fd96d2d94a0d2189bf9954f90f66d0afe1e01549 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 15 2025 at 00:46):
:check: mathlib_test_executable succeeded on 507dd92b9ed9cfd43bd29d1438a458da6705d8a0 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 16 2025 at 00:45):
:check: mathlib_test_executable succeeded on 3a0740877285c805a03d44b40df45106225dc21b (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 17 2025 at 00:46):
:check: mathlib_test_executable succeeded on c728e645fccf7166c3ac71ce0c1ca1a32c10a268 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 18 2025 at 00:48):
:check: mathlib_test_executable succeeded on bc70da8fd1d791a61ad9089b6a8da1dc671b9198 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 19 2025 at 00:47):
:check: mathlib_test_executable succeeded on f1fa81263df46efbfc4d51ae3dd003886cb0b75b (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 20 2025 at 00:49):
:check: mathlib_test_executable succeeded on 6ba5988137ea253926c083cf7aab9c552ba570a5 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 21 2025 at 00:48):
:check: mathlib_test_executable succeeded on 82ecf95ecd3b4a4620b9cfca5e027cffa258ee22 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 22 2025 at 00:46):
:check: mathlib_test_executable succeeded on bfeab816b74212c75960b441175e5f4e10868a5e (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 23 2025 at 00:49):
:check: mathlib_test_executable succeeded on 4b54a1d2ef9bf61679ddceab6bcf91163342d641 (branch: nightly-testing-2025-06-20)
Notification Bot (Jul 23 2025 at 06:09):
This topic was moved here from #mathlib reviewers > mathlib test executable by Kim Morrison.
Cameron Zwarich (Jul 23 2025 at 17:12):
github mathlib4 bot said:
:check: mathlib_test_executable succeeded on 96db0ceb66e5b4d468a52c4c5fc5ac57cc6f8bd9 (branch: nightly-testing-2025-06-20)
It looks like this started failing to build on June 30th, on both nightly-testing-2025-06-20 (which is the branch it has kept using since then?) and master. The failure seems to be early in the workflow when building lean4checker. The more recent builds are marked as "succeeded" but are failing for the reason reported in #27017.
Cameron Zwarich (Jul 23 2025 at 17:23):
It looks like the actual build of the executable itself did start failing when we switched over to the new compiler.
github mathlib4 bot (Jul 24 2025 at 00:48):
:check: mathlib_test_executable succeeded on 8b7eb3d9b238206030ddc23cd407d0c82db0b922 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 25 2025 at 00:44):
:check: mathlib_test_executable succeeded on 962b24680e61db073c65145453113f3050db540e (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 26 2025 at 00:47):
:check: mathlib_test_executable succeeded on 8271ba972112005e0dbee353ad6d5c4f1ee1c537 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 26 2025 at 01:35):
:check: mathlib_test_executable succeeded on 8271ba972112005e0dbee353ad6d5c4f1ee1c537 (branch: master)
github mathlib4 bot (Jul 27 2025 at 00:48):
:check: mathlib_test_executable succeeded on 5ebccb65951c70539ba1c36e53e079ac28b3fd23 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 27 2025 at 01:37):
:check: mathlib_test_executable succeeded on 5ebccb65951c70539ba1c36e53e079ac28b3fd23 (branch: master)
github mathlib4 bot (Jul 28 2025 at 00:49):
:check: mathlib_test_executable succeeded on c9e3dfadd09712e4b3345adec7b5eeb60fa73ed6 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jul 28 2025 at 01:37):
:check: mathlib_test_executable succeeded on c9e3dfadd09712e4b3345adec7b5eeb60fa73ed6 (branch: master)
github mathlib4 bot (Jul 29 2025 at 01:37):
:check: mathlib_test_executable succeeded on 3f4becefab5f8840377899b2ef99d9ffa2a4453f (branch: master)
github mathlib4 bot (Jul 29 2025 at 01:38):
:check: mathlib_test_executable succeeded on 3f4becefab5f8840377899b2ef99d9ffa2a4453f (branch: )
github mathlib4 bot (Jul 30 2025 at 01:35):
:check: mathlib_test_executable succeeded on 0465630e7f38a4644092f2449225074504ace277 (branch: )
github mathlib4 bot (Jul 30 2025 at 01:36):
:check: mathlib_test_executable succeeded on 0465630e7f38a4644092f2449225074504ace277 (branch: master)
github mathlib4 bot (Jul 31 2025 at 01:33):
:check: mathlib_test_executable succeeded on cdda99e28c346d76ced75ff0e3a90c33e254b760 (branch: master)
github mathlib4 bot (Jul 31 2025 at 01:35):
:check: mathlib_test_executable succeeded on cdda99e28c346d76ced75ff0e3a90c33e254b760 (branch: )
github mathlib4 bot (Aug 01 2025 at 01:37):
:check: mathlib_test_executable succeeded on 2986ee049cefbe8ad332215f02d2ae02809d453f (branch: master)
github mathlib4 bot (Aug 01 2025 at 01:38):
:check: mathlib_test_executable succeeded on 2986ee049cefbe8ad332215f02d2ae02809d453f (branch: )
github mathlib4 bot (Aug 02 2025 at 01:34):
:check: mathlib_test_executable succeeded on 211b784a46c8bae154f0af65ef91bb48ef7cf182 (branch: master)
github mathlib4 bot (Aug 02 2025 at 01:35):
:check: mathlib_test_executable succeeded on 211b784a46c8bae154f0af65ef91bb48ef7cf182 (branch: )
github mathlib4 bot (Aug 03 2025 at 01:38):
:check: mathlib_test_executable succeeded on d0323fbd4847bee8be9d559fea54f884a3438f17 (branch: master)
github mathlib4 bot (Aug 03 2025 at 01:38):
:check: mathlib_test_executable succeeded on d0323fbd4847bee8be9d559fea54f884a3438f17 (branch: )
github mathlib4 bot (Aug 04 2025 at 01:36):
:check: mathlib_test_executable succeeded on 702b073d55be0b7fc9d1c02672d0096850eda054 (branch: master)
github mathlib4 bot (Aug 04 2025 at 01:36):
:check: mathlib_test_executable succeeded on 702b073d55be0b7fc9d1c02672d0096850eda054 (branch: )
github mathlib4 bot (Aug 05 2025 at 01:35):
:check: mathlib_test_executable succeeded on b24ea3236395f55fd933f366b3046be6c69925b8 (branch: master)
github mathlib4 bot (Aug 05 2025 at 01:36):
:check: mathlib_test_executable succeeded on b24ea3236395f55fd933f366b3046be6c69925b8 (branch: )
github mathlib4 bot (Aug 06 2025 at 01:34):
:check: mathlib_test_executable succeeded on 9845f69f51ffdf6b35704cbf1793f82a047ab2b6 (branch: master)
github mathlib4 bot (Aug 06 2025 at 01:37):
:check: mathlib_test_executable succeeded on 9845f69f51ffdf6b35704cbf1793f82a047ab2b6 (branch: )
github mathlib4 bot (Aug 07 2025 at 01:34):
:check: mathlib_test_executable succeeded on d79083011bf27cf9517ae2aac60c45c48f2b5d77 (branch: master)
github mathlib4 bot (Aug 07 2025 at 01:35):
:check: mathlib_test_executable succeeded on d79083011bf27cf9517ae2aac60c45c48f2b5d77 (branch: )
github mathlib4 bot (Aug 08 2025 at 01:34):
:check: mathlib_test_executable succeeded on 08ab79b45202df3508350e0b77c2dcbd7dcd98b5 (branch: master)
github mathlib4 bot (Aug 08 2025 at 01:37):
:check: mathlib_test_executable succeeded on 08ab79b45202df3508350e0b77c2dcbd7dcd98b5 (branch: )
github mathlib4 bot (Aug 09 2025 at 01:33):
:check: mathlib_test_executable succeeded on 8623f65b7577fe5279721203b65cd2fa05f1e7d2 (branch: master)
github mathlib4 bot (Aug 09 2025 at 01:35):
:check: mathlib_test_executable succeeded on 8623f65b7577fe5279721203b65cd2fa05f1e7d2 (branch: )
github mathlib4 bot (Aug 10 2025 at 01:38):
:check: mathlib_test_executable succeeded on 632465e4b02cb70a5dfa4cfe15468e8a62c2bd85 (branch: )
github mathlib4 bot (Aug 10 2025 at 01:38):
:check: mathlib_test_executable succeeded on 632465e4b02cb70a5dfa4cfe15468e8a62c2bd85 (branch: master)
github mathlib4 bot (Aug 11 2025 at 01:38):
:check: mathlib_test_executable succeeded on 00a5ef39c56c192564ce42fbc20fc3591669364b (branch: master)
github mathlib4 bot (Aug 11 2025 at 01:39):
:check: mathlib_test_executable succeeded on 00a5ef39c56c192564ce42fbc20fc3591669364b (branch: )
github mathlib4 bot (Aug 12 2025 at 01:35):
:check: mathlib_test_executable succeeded on 19dc2a90dbb8d46c0deb4dca6e8afcdfc9ae06ea (branch: master)
github mathlib4 bot (Aug 12 2025 at 01:37):
:check: mathlib_test_executable succeeded on 19dc2a90dbb8d46c0deb4dca6e8afcdfc9ae06ea (branch: )
github mathlib4 bot (Aug 13 2025 at 01:35):
:check: mathlib_test_executable succeeded on 1b235f6e15971191af339e5d298e8e06aa1c208d (branch: )
github mathlib4 bot (Aug 13 2025 at 01:36):
:check: mathlib_test_executable succeeded on 1b235f6e15971191af339e5d298e8e06aa1c208d (branch: master)
github mathlib4 bot (Aug 14 2025 at 01:35):
:check: mathlib_test_executable succeeded on 89b7100a6b05e53ee47fc3c1f4bdb114ee2799a6 (branch: master)
github mathlib4 bot (Aug 14 2025 at 01:36):
:check: mathlib_test_executable succeeded on 89b7100a6b05e53ee47fc3c1f4bdb114ee2799a6 (branch: )
github mathlib4 bot (Aug 15 2025 at 01:35):
:check: mathlib_test_executable succeeded on 609d272edfd5551eb8e72bfa5ac49fd42bdf7182 (branch: )
github mathlib4 bot (Aug 15 2025 at 01:40):
:check: mathlib_test_executable succeeded on 609d272edfd5551eb8e72bfa5ac49fd42bdf7182 (branch: master)
github mathlib4 bot (Oct 18 2025 at 01:47):
:check: mathlib_test_executable succeeded on a77a0aeac5e8e691c32a65b878b02574930b5f90 (branch: master)
github mathlib4 bot (Oct 19 2025 at 01:51):
:check: mathlib_test_executable succeeded on 5c98c223ad372ac3992aa23bd2a4a67cd6a9b13f (branch: master)
github mathlib4 bot (Oct 20 2025 at 01:49):
:check: mathlib_test_executable succeeded on 9e574589c15b3b233d3223f1b35871a798cc2748 (branch: master)
github mathlib4 bot (Oct 21 2025 at 01:48):
:check: mathlib_test_executable succeeded on 560872a203ef726bf76117856ece2872f8cff918 (branch: master)
github mathlib4 bot (Oct 23 2025 at 01:51):
:check: mathlib_test_executable succeeded on 0a7093c05f7e127e28ad1225001269ad06a4b2f8 (branch: master)
github mathlib4 bot (Nov 19 2025 at 02:15):
:check: mathlib_test_executable succeeded on 48d1fe28293a3dec35b08ca9728373fe7302f7fa (branch: nightly-testing-2025-11-18)
github mathlib4 bot (Nov 19 2025 at 02:19):
:check: mathlib_test_executable succeeded on 48d1fe28293a3dec35b08ca9728373fe7302f7fa (branch: master)
github mathlib4 bot (Nov 20 2025 at 02:12):
:check: mathlib_test_executable succeeded on 5db9169e8817127f3f75b545720e7fb74e0adf85 (branch: nightly-testing-2025-11-18)
github mathlib4 bot (Dec 10 2025 at 00:37):
:check: mathlib_test_executable succeeded on 0c25ddf80940f9c39ef3405115eb5a4355ad30bc (branch: nightly-testing-2025-12-09)
github mathlib4 bot (Dec 10 2025 at 03:11):
:check: mathlib_test_executable succeeded on 0c25ddf80940f9c39ef3405115eb5a4355ad30bc (branch: master)
github mathlib4 bot (Dec 11 2025 at 00:39):
:check: mathlib_test_executable succeeded on d39a7b82e47795088c82998756682fec28c5e8d2 (branch: nightly-testing-2025-12-10)
github mathlib4 bot (Dec 11 2025 at 03:07):
:check: mathlib_test_executable succeeded on d39a7b82e47795088c82998756682fec28c5e8d2 (branch: master)
github mathlib4 bot (Dec 12 2025 at 00:42):
:check: mathlib_test_executable succeeded on c671bc4215d64bd9cc8a84fdec9a12bd33fdcd26 (branch: nightly-testing-2025-12-10)
github mathlib4 bot (Dec 12 2025 at 03:02):
:check: mathlib_test_executable succeeded on c671bc4215d64bd9cc8a84fdec9a12bd33fdcd26 (branch: master)
github mathlib4 bot (Dec 12 2025 at 11:59):
:check: mathlib_test_executable succeeded on c671bc4215d64bd9cc8a84fdec9a12bd33fdcd26 (branch: nightly-testing-2025-12-10)
github mathlib4 bot (Dec 12 2025 at 12:16):
:check: mathlib_test_executable succeeded on c671bc4215d64bd9cc8a84fdec9a12bd33fdcd26 (branch: master)
github mathlib4 bot (Dec 13 2025 at 02:52):
:check: mathlib_test_executable succeeded on 3f5aae8dc2d83cdd3214e158c2b34a756281e3c2 (branch: master)
github mathlib4 bot (Dec 13 2025 at 02:59):
:check: mathlib_test_executable succeeded on 3f5aae8dc2d83cdd3214e158c2b34a756281e3c2 (branch: nightly-testing-2025-12-10)
github mathlib4 bot (Dec 14 2025 at 03:12):
:check: mathlib_test_executable succeeded on 1825e179b30947af23f9c93dc7a85e1ca90ef25f (branch: master)
github mathlib4 bot (Dec 14 2025 at 03:35):
:check: mathlib_test_executable succeeded on 1825e179b30947af23f9c93dc7a85e1ca90ef25f (branch: nightly-testing-2025-12-10)
github mathlib4 bot (Dec 15 2025 at 03:14):
:check: mathlib_test_executable succeeded on e7f9e396b9790970bc57d66bfec6091676938f27 (branch: nightly-testing-2025-12-14)
github mathlib4 bot (Dec 15 2025 at 03:15):
:check: mathlib_test_executable succeeded on e7f9e396b9790970bc57d66bfec6091676938f27 (branch: master)
github mathlib4 bot (Dec 16 2025 at 03:03):
:check: mathlib_test_executable succeeded on fe3134f0c3508d2fd6394307be226ffa9b8cb4ba (branch: master)
github mathlib4 bot (Dec 16 2025 at 03:03):
:check: mathlib_test_executable succeeded on fe3134f0c3508d2fd6394307be226ffa9b8cb4ba (branch: nightly-testing-2025-12-15)
github mathlib4 bot (Dec 17 2025 at 02:58):
:check: mathlib_test_executable succeeded on 9222d7332b6237a8f1e87e9622c7d17498da5d64 (branch: nightly-testing-2025-12-16)
github mathlib4 bot (Dec 17 2025 at 03:37):
:check: mathlib_test_executable succeeded on 9222d7332b6237a8f1e87e9622c7d17498da5d64 (branch: master)
github mathlib4 bot (Dec 19 2025 at 02:47):
:check: mathlib_test_executable succeeded on 73dba97f7a0d5253d0c0518003b7aa4bc1bc6a58 (branch: nightly-testing-2025-12-17)
github mathlib4 bot (Dec 20 2025 at 00:37):
:check: mathlib_test_executable succeeded on 8764c6f0c28682ba45cd02abfa78138ec5802b8d (branch: master)
github mathlib4 bot (Dec 20 2025 at 00:38):
:check: mathlib_test_executable succeeded on 8764c6f0c28682ba45cd02abfa78138ec5802b8d (branch: nightly-testing-2025-12-18)
github mathlib4 bot (Dec 21 2025 at 00:38):
:check: mathlib_test_executable succeeded on 359769ac56adab9784ed43b8809a3ede33c202a9 (branch: nightly-testing-2025-12-20)
github mathlib4 bot (Dec 21 2025 at 00:39):
:check: mathlib_test_executable succeeded on 359769ac56adab9784ed43b8809a3ede33c202a9 (branch: master)
github mathlib4 bot (Dec 22 2025 at 00:39):
:check: mathlib_test_executable succeeded on 8565b64b414799587df714b3aa3d5a56ca655513 (branch: nightly-testing-2025-12-21)
github mathlib4 bot (Dec 22 2025 at 00:39):
:check: mathlib_test_executable succeeded on 8565b64b414799587df714b3aa3d5a56ca655513 (branch: master)
github mathlib4 bot (Dec 23 2025 at 00:38):
:check: mathlib_test_executable succeeded on ca833177f1db1f64037e0945149a297d1fe09af9 (branch: master)
github mathlib4 bot (Dec 23 2025 at 00:39):
:check: mathlib_test_executable succeeded on ca833177f1db1f64037e0945149a297d1fe09af9 (branch: nightly-testing-2025-12-22)
Bryan Gin-ge Chen (Dec 23 2025 at 00:48):
Hmm, all the links are empty; I probably messed something up in #33046. Taking a look now.
Bryan Gin-ge Chen (Dec 23 2025 at 01:16):
Fixed in #33212.
github mathlib4 bot (Dec 24 2025 at 00:37):
:check: mathlib_test_executable succeeded on 26440c825575eea64509c91cf9e1ab3ede95de9b (branch: master)
github mathlib4 bot (Dec 24 2025 at 00:38):
:check: mathlib_test_executable succeeded on 26440c825575eea64509c91cf9e1ab3ede95de9b (branch: nightly-testing-2025-12-22)
github mathlib4 bot (Dec 24 2025 at 03:00):
:check: mathlib_test_executable succeeded on 4be5c6872db6d8714540445c7773fa4d05236a53 (branch: master)
github mathlib4 bot (Dec 24 2025 at 03:00):
:check: mathlib_test_executable succeeded on 4be5c6872db6d8714540445c7773fa4d05236a53 (branch: nightly-testing-2025-12-22)
github mathlib4 bot (Dec 25 2025 at 00:39):
:check: mathlib_test_executable succeeded on 1c119a384d559bccba90477b0ef3a645d77c5bd7 (branch: master)
github mathlib4 bot (Dec 25 2025 at 00:39):
:check: mathlib_test_executable succeeded on 1c119a384d559bccba90477b0ef3a645d77c5bd7 (branch: nightly-testing-2025-12-22)
github mathlib4 bot (Dec 26 2025 at 00:40):
:check: mathlib_test_executable succeeded on 74bdd8deff800f4f11cc7c3c37bebb16f2de0b96 (branch: master)
github mathlib4 bot (Dec 26 2025 at 00:40):
:check: mathlib_test_executable succeeded on 74bdd8deff800f4f11cc7c3c37bebb16f2de0b96 (branch: nightly-testing-2025-12-25)
github mathlib4 bot (Dec 27 2025 at 00:38):
:check: mathlib_test_executable succeeded on 48f5874c3924f1f614de0197a795695b80461221 (branch: master)
github mathlib4 bot (Dec 27 2025 at 00:39):
:check: mathlib_test_executable succeeded on 48f5874c3924f1f614de0197a795695b80461221 (branch: nightly-testing-2025-12-25)
github mathlib4 bot (Dec 28 2025 at 00:43):
:check: mathlib_test_executable succeeded on cc0ebd15d3addc96bf3ff0cb4fc04e936f7bb1d8 (branch: master)
github mathlib4 bot (Dec 28 2025 at 00:44):
:check: mathlib_test_executable succeeded on cc0ebd15d3addc96bf3ff0cb4fc04e936f7bb1d8 (branch: nightly-testing-2025-12-26)
github mathlib4 bot (Dec 29 2025 at 00:41):
:check: mathlib_test_executable succeeded on 23ce1f3fb493c7cbc76195ba340b12a133c16680 (branch: master)
github mathlib4 bot (Dec 29 2025 at 00:41):
:check: mathlib_test_executable succeeded on 23ce1f3fb493c7cbc76195ba340b12a133c16680 (branch: nightly-testing-2025-12-26)
github mathlib4 bot (Dec 30 2025 at 00:41):
:check: mathlib_test_executable succeeded on 1a6e4fde6ab01674dc78c67cb164631a5d4decbd (branch: master)
github mathlib4 bot (Dec 30 2025 at 00:41):
:check: mathlib_test_executable succeeded on 1a6e4fde6ab01674dc78c67cb164631a5d4decbd (branch: nightly-testing-2025-12-26)
github mathlib4 bot (Dec 31 2025 at 00:40):
:check: mathlib_test_executable succeeded on 47ede36f98427b9ca746b344cfd625e6414f7a92 (branch: master)
github mathlib4 bot (Dec 31 2025 at 00:41):
:check: mathlib_test_executable succeeded on 47ede36f98427b9ca746b344cfd625e6414f7a92 (branch: nightly-testing-2025-12-26)
github mathlib4 bot (Jan 01 2026 at 00:42):
:check: mathlib_test_executable succeeded on f6f4dd59f58a71148bdfc60847bc65fb8b0f36b8 (branch: master)
github mathlib4 bot (Jan 01 2026 at 00:42):
:check: mathlib_test_executable succeeded on f6f4dd59f58a71148bdfc60847bc65fb8b0f36b8 (branch: nightly-testing-2025-12-26)
github mathlib4 bot (Jan 02 2026 at 00:38):
:check: mathlib_test_executable succeeded on a8227f463392ef51e5bd9f68975fe46f5d9057f3 (branch: master)
github mathlib4 bot (Jan 02 2026 at 00:39):
:check: mathlib_test_executable succeeded on a8227f463392ef51e5bd9f68975fe46f5d9057f3 (branch: nightly-testing-2025-12-26)
github mathlib4 bot (Jan 03 2026 at 00:38):
:check: mathlib_test_executable succeeded on c3a9c0bd2796da0fe335a382f809bae834080d8e (branch: master)
github mathlib4 bot (Jan 03 2026 at 00:39):
:check: mathlib_test_executable succeeded on c3a9c0bd2796da0fe335a382f809bae834080d8e (branch: nightly-testing-2025-12-26)
github mathlib4 bot (Jan 04 2026 at 00:43):
:check: mathlib_test_executable succeeded on 08d60a80c5f591ef7354a9e2d26060af6c4027d3 (branch: master)
github mathlib4 bot (Jan 04 2026 at 00:44):
:check: mathlib_test_executable succeeded on 08d60a80c5f591ef7354a9e2d26060af6c4027d3 (branch: nightly-testing-2026-01-02)
github mathlib4 bot (Jan 05 2026 at 00:42):
:check: mathlib_test_executable succeeded on 8c8bf56c91b1af669cd5b49922fd3997df5f6d73 (branch: master)
github mathlib4 bot (Jan 05 2026 at 00:43):
:check: mathlib_test_executable succeeded on 8c8bf56c91b1af669cd5b49922fd3997df5f6d73 (branch: nightly-testing-2026-01-02)
github mathlib4 bot (Jan 07 2026 at 00:39):
:check: mathlib_test_executable succeeded on 5e280db0a74e5c3c792f2a3c608b00657d13b6a7 (branch: master)
github mathlib4 bot (Jan 07 2026 at 00:39):
:check: mathlib_test_executable succeeded on 5e280db0a74e5c3c792f2a3c608b00657d13b6a7 (branch: nightly-testing-2026-01-06)
github mathlib4 bot (Jan 08 2026 at 00:39):
:check: mathlib_test_executable succeeded on d07aaeafc78bf4d5df7ed728fd92f9f48fe0b7be (branch: master)
github mathlib4 bot (Jan 08 2026 at 00:40):
:check: mathlib_test_executable succeeded on d07aaeafc78bf4d5df7ed728fd92f9f48fe0b7be (branch: nightly-testing-2026-01-07)
github mathlib4 bot (Jan 08 2026 at 03:57):
:check: mathlib_test_executable succeeded on c627e665ea632256d0c5708f43f1541739c169eb (branch: master)
github mathlib4 bot (Jan 08 2026 at 03:58):
:check: mathlib_test_executable succeeded on c627e665ea632256d0c5708f43f1541739c169eb (branch: nightly-testing-2026-01-07)
github mathlib4 bot (Jan 09 2026 at 00:40):
:check: mathlib_test_executable succeeded on ee6d0f13b3a203fa0701998900d057484a769679 (branch: master)
github mathlib4 bot (Jan 09 2026 at 00:41):
:check: mathlib_test_executable succeeded on ee6d0f13b3a203fa0701998900d057484a769679 (branch: nightly-testing-2026-01-08)
github mathlib4 bot (Jan 10 2026 at 00:38):
:check: mathlib_test_executable succeeded on b8e3880e7aebc634d9d78b14d1fc00a25b299ea0 (branch: master)
github mathlib4 bot (Jan 10 2026 at 00:39):
:check: mathlib_test_executable succeeded on b8e3880e7aebc634d9d78b14d1fc00a25b299ea0 (branch: nightly-testing-2026-01-09)
github mathlib4 bot (Jan 11 2026 at 00:42):
:check: mathlib_test_executable succeeded on c2ac49c165a4c4075c4716ea2deb90b594b6900a (branch: master)
github mathlib4 bot (Jan 11 2026 at 00:43):
:check: mathlib_test_executable succeeded on c2ac49c165a4c4075c4716ea2deb90b594b6900a (branch: nightly-testing-2026-01-10)
github mathlib4 bot (Jan 12 2026 at 00:44):
:check: mathlib_test_executable succeeded on 622f41abb60ba23b0c4866b6ebb75a5629932070 (branch: master)
github mathlib4 bot (Jan 12 2026 at 00:44):
:check: mathlib_test_executable succeeded on 622f41abb60ba23b0c4866b6ebb75a5629932070 (branch: nightly-testing-2026-01-11)
github mathlib4 bot (Jan 13 2026 at 00:36):
:check: mathlib_test_executable succeeded on c1d772d6329adbf19893119c31cea6c4127420e7 (branch: master)
github mathlib4 bot (Jan 13 2026 at 00:37):
:check: mathlib_test_executable succeeded on c1d772d6329adbf19893119c31cea6c4127420e7 (branch: nightly-testing-2026-01-12)
github mathlib4 bot (Jan 14 2026 at 00:40):
:check: mathlib_test_executable succeeded on 26e1e450e24367d8b4b4662157d75eda0f6336ef (branch: master)
github mathlib4 bot (Jan 14 2026 at 00:40):
:check: mathlib_test_executable succeeded on 26e1e450e24367d8b4b4662157d75eda0f6336ef (branch: nightly-testing-2026-01-12)
github mathlib4 bot (Jan 15 2026 at 00:38):
:check: mathlib_test_executable succeeded on 79a359dfe4682c5ca375c39522d7c64e95659d5a (branch: master)
github mathlib4 bot (Jan 15 2026 at 00:38):
:check: mathlib_test_executable succeeded on 79a359dfe4682c5ca375c39522d7c64e95659d5a (branch: nightly-testing-2026-01-14)
github mathlib4 bot (Jan 16 2026 at 00:39):
:check: mathlib_test_executable succeeded on 986dfcf2d26d0373b1a1a38ee2a8764ca90a0cb4 (branch: master)
github mathlib4 bot (Jan 16 2026 at 00:39):
:check: mathlib_test_executable succeeded on 986dfcf2d26d0373b1a1a38ee2a8764ca90a0cb4 (branch: nightly-testing-2026-01-14)
github mathlib4 bot (Jan 17 2026 at 00:39):
:check: mathlib_test_executable succeeded on 20b873c44e11e4e3c5c39c5d10f2096053ccf8a5 (branch: master)
github mathlib4 bot (Jan 17 2026 at 00:40):
:check: mathlib_test_executable succeeded on 20b873c44e11e4e3c5c39c5d10f2096053ccf8a5 (branch: nightly-testing-2026-01-14)
github mathlib4 bot (Jan 18 2026 at 00:42):
:check: mathlib_test_executable succeeded on 5c74f14cc87eb3a97d3e9cd058487f1d9571c3ab (branch: master)
github mathlib4 bot (Jan 18 2026 at 00:43):
:check: mathlib_test_executable succeeded on 5c74f14cc87eb3a97d3e9cd058487f1d9571c3ab (branch: nightly-testing-2026-01-14)
github mathlib4 bot (Jan 19 2026 at 00:41):
:check: mathlib_test_executable succeeded on 7048ffa529b90841dce5015ed4cc61e7fd5d7261 (branch: master)
github mathlib4 bot (Jan 19 2026 at 00:42):
:check: mathlib_test_executable succeeded on 7048ffa529b90841dce5015ed4cc61e7fd5d7261 (branch: nightly-testing-2026-01-14)
github mathlib4 bot (Jan 20 2026 at 00:38):
:check: mathlib_test_executable succeeded on d0871e12f31a4e24ed78a6c09dfb32c4f625d6a9 (branch: master)
github mathlib4 bot (Jan 20 2026 at 00:39):
:check: mathlib_test_executable succeeded on d0871e12f31a4e24ed78a6c09dfb32c4f625d6a9 (branch: nightly-testing-2026-01-14)
github mathlib4 bot (Jan 21 2026 at 00:41):
:check: mathlib_test_executable succeeded on 06cfbfe1a8469cbcbc221717bafa6b38132961de (branch: master)
github mathlib4 bot (Jan 21 2026 at 00:42):
:check: mathlib_test_executable succeeded on 06cfbfe1a8469cbcbc221717bafa6b38132961de (branch: nightly-testing-2026-01-20)
github mathlib4 bot (Jan 22 2026 at 00:40):
:check: mathlib_test_executable succeeded on 9ffe92940ecaeb3dcd538bc6e1644e60c32d4561 (branch: master)
github mathlib4 bot (Jan 22 2026 at 00:41):
:check: mathlib_test_executable succeeded on 9ffe92940ecaeb3dcd538bc6e1644e60c32d4561 (branch: nightly-testing-2026-01-21)
github mathlib4 bot (Jan 23 2026 at 00:41):
:check: mathlib_test_executable succeeded on 725d7a32b7cbbb51127cacb581d40dacc6be6b52 (branch: master)
github mathlib4 bot (Jan 23 2026 at 00:42):
:check: mathlib_test_executable succeeded on 725d7a32b7cbbb51127cacb581d40dacc6be6b52 (branch: nightly-testing-2026-01-22)
github mathlib4 bot (Jan 24 2026 at 00:39):
:check: mathlib_test_executable succeeded on 4c87e1d930d0fa219f001b56130c99e32d84fc26 (branch: master)
github mathlib4 bot (Jan 24 2026 at 00:40):
:check: mathlib_test_executable succeeded on 4c87e1d930d0fa219f001b56130c99e32d84fc26 (branch: nightly-testing-2026-01-23)
github mathlib4 bot (Jan 25 2026 at 00:42):
:check: mathlib_test_executable succeeded on be04ab25ca4157be69980ea7f908c865738b7388 (branch: master)
github mathlib4 bot (Jan 25 2026 at 00:42):
:check: mathlib_test_executable succeeded on be04ab25ca4157be69980ea7f908c865738b7388 (branch: nightly-testing-2026-01-24)
github mathlib4 bot (Jan 26 2026 at 00:42):
:check: mathlib_test_executable succeeded on 168b9cff12dab685d3df073d0327ad4bb75843d3 (branch: master)
github mathlib4 bot (Jan 26 2026 at 00:42):
:check: mathlib_test_executable succeeded on 168b9cff12dab685d3df073d0327ad4bb75843d3 (branch: nightly-testing-2026-01-25)
github mathlib4 bot (Jan 27 2026 at 00:43):
:check: mathlib_test_executable succeeded on cbf90bf1c877113a9bea3e3bd2fe2c8e0ed1325b (branch: master)
github mathlib4 bot (Jan 27 2026 at 00:44):
:check: mathlib_test_executable succeeded on cbf90bf1c877113a9bea3e3bd2fe2c8e0ed1325b (branch: nightly-testing-2026-01-25)
github mathlib4 bot (Jan 27 2026 at 10:50):
:check: mathlib_test_executable succeeded on 002831b4f30ea1bb23e788d8517426d32b0538f6 (branch: master)
github mathlib4 bot (Jan 27 2026 at 10:51):
:check: mathlib_test_executable succeeded on 002831b4f30ea1bb23e788d8517426d32b0538f6 (branch: nightly-testing-2026-01-27)
github mathlib4 bot (Jan 28 2026 at 00:43):
:check: mathlib_test_executable succeeded on ed96f50f75b1f89c4561f2ba2d837eb169052094 (branch: master)
github mathlib4 bot (Jan 28 2026 at 00:44):
:check: mathlib_test_executable succeeded on ed96f50f75b1f89c4561f2ba2d837eb169052094 (branch: nightly-testing-2026-01-27)
github mathlib4 bot (Jan 29 2026 at 00:45):
:check: mathlib_test_executable succeeded on 426f4b033ae682c66dfc327f6c3717569786ae9e (branch: master)
github mathlib4 bot (Jan 29 2026 at 00:46):
:check: mathlib_test_executable succeeded on 426f4b033ae682c66dfc327f6c3717569786ae9e (branch: nightly-testing-2026-01-28)
github mathlib4 bot (Jan 30 2026 at 00:48):
:check: mathlib_test_executable succeeded on 62a82d6d0a3d3c54ca96bf00a861c623f3e0be44 (branch: master)
github mathlib4 bot (Jan 30 2026 at 00:48):
:check: mathlib_test_executable succeeded on 62a82d6d0a3d3c54ca96bf00a861c623f3e0be44 (branch: nightly-testing-2026-01-28)
github mathlib4 bot (Jan 31 2026 at 00:43):
:check: mathlib_test_executable succeeded on 0ecfe98f64977839ba2ae6a5ed4c96e026c6d995 (branch: master)
github mathlib4 bot (Jan 31 2026 at 00:44):
:check: mathlib_test_executable succeeded on 0ecfe98f64977839ba2ae6a5ed4c96e026c6d995 (branch: nightly-testing-2026-01-30)
github mathlib4 bot (Feb 01 2026 at 00:50):
:check: mathlib_test_executable succeeded on c3cf7cbc7d8787edab1c190e3b1cf48941d4854c (branch: master)
github mathlib4 bot (Feb 01 2026 at 00:50):
:check: mathlib_test_executable succeeded on c3cf7cbc7d8787edab1c190e3b1cf48941d4854c (branch: nightly-testing-2026-01-31)
github mathlib4 bot (Feb 02 2026 at 00:47):
:check: mathlib_test_executable succeeded on 69decbd50b5e6926d418b3c1f3c58e868c45a382 (branch: master)
github mathlib4 bot (Feb 02 2026 at 00:47):
:check: mathlib_test_executable succeeded on 69decbd50b5e6926d418b3c1f3c58e868c45a382 (branch: nightly-testing-2026-02-01)
github mathlib4 bot (Feb 03 2026 at 00:46):
:check: mathlib_test_executable succeeded on 6a1be3670f0ce93db58a5e948851abd5d9b751b3 (branch: master)
github mathlib4 bot (Feb 03 2026 at 00:47):
:check: mathlib_test_executable succeeded on 6a1be3670f0ce93db58a5e948851abd5d9b751b3 (branch: nightly-testing-2026-02-02)
github mathlib4 bot (Feb 04 2026 at 00:43):
:check: mathlib_test_executable succeeded on be8defd50c175d2ce7598a43c1be199f53b7cae6 (branch: master)
github mathlib4 bot (Feb 04 2026 at 00:44):
:check: mathlib_test_executable succeeded on be8defd50c175d2ce7598a43c1be199f53b7cae6 (branch: nightly-testing-2026-02-03)
github mathlib4 bot (Feb 05 2026 at 00:46):
:check: mathlib_test_executable succeeded on ba07a5d5fb83488d3accc0fe05f0c1fbca22bda4 (branch: master)
github mathlib4 bot (Feb 05 2026 at 00:46):
:check: mathlib_test_executable succeeded on ba07a5d5fb83488d3accc0fe05f0c1fbca22bda4 (branch: nightly-testing-2026-02-03)
github mathlib4 bot (Feb 06 2026 at 00:44):
:check: mathlib_test_executable succeeded on b94b918e1fd0293f3ef9c2567dfe3774f273dced (branch: master)
github mathlib4 bot (Feb 06 2026 at 00:44):
:check: mathlib_test_executable succeeded on b94b918e1fd0293f3ef9c2567dfe3774f273dced (branch: nightly-testing-2026-02-04)
github mathlib4 bot (Feb 07 2026 at 00:44):
:check: mathlib_test_executable succeeded on 7091f0f601d5aaea565d2304c1a290cc8af03e18 (branch: master)
github mathlib4 bot (Feb 07 2026 at 00:44):
:check: mathlib_test_executable succeeded on 7091f0f601d5aaea565d2304c1a290cc8af03e18 (branch: nightly-testing-2026-02-05)
github mathlib4 bot (Feb 08 2026 at 00:52):
:check: mathlib_test_executable succeeded on 668a53718f830a40e2f19d7a81515e8e60b8915f (branch: master)
github mathlib4 bot (Feb 08 2026 at 00:52):
:check: mathlib_test_executable succeeded on 668a53718f830a40e2f19d7a81515e8e60b8915f (branch: nightly-testing-2026-02-05)
github mathlib4 bot (Feb 09 2026 at 00:47):
:check: mathlib_test_executable succeeded on 26e91fab26eda350d9dc8147cdfa12b3e6e33a64 (branch: master)
github mathlib4 bot (Feb 09 2026 at 00:47):
:check: mathlib_test_executable succeeded on 26e91fab26eda350d9dc8147cdfa12b3e6e33a64 (branch: nightly-testing-2026-02-05)
github mathlib4 bot (Feb 10 2026 at 00:51):
:check: mathlib_test_executable succeeded on 5086678147029ce3164ce2033fe5d2425e3353fd (branch: master)
github mathlib4 bot (Feb 10 2026 at 00:52):
:check: mathlib_test_executable succeeded on 5086678147029ce3164ce2033fe5d2425e3353fd (branch: nightly-testing-2026-02-08)
github mathlib4 bot (Feb 11 2026 at 00:50):
:check: mathlib_test_executable succeeded on b8dad038b1b3a05b77d6884b15b8db03ec01dca1 (branch: master)
github mathlib4 bot (Feb 11 2026 at 00:51):
:check: mathlib_test_executable succeeded on b8dad038b1b3a05b77d6884b15b8db03ec01dca1 (branch: nightly-testing-2026-02-10)
github mathlib4 bot (Feb 12 2026 at 00:45):
:check: mathlib_test_executable succeeded on ea886ccefe95c2432d0a138fcc00a7c09e518b45 (branch: master)
github mathlib4 bot (Feb 12 2026 at 00:45):
:check: mathlib_test_executable succeeded on ea886ccefe95c2432d0a138fcc00a7c09e518b45 (branch: nightly-testing-2026-02-10)
github mathlib4 bot (Feb 13 2026 at 00:47):
:check: mathlib_test_executable succeeded on c72b0ec47221dd152064b8ad478bf3a18913b1b6 (branch: master)
github mathlib4 bot (Feb 13 2026 at 00:48):
:check: mathlib_test_executable succeeded on c72b0ec47221dd152064b8ad478bf3a18913b1b6 (branch: nightly-testing-2026-02-10)
github mathlib4 bot (Feb 14 2026 at 00:46):
:check: mathlib_test_executable succeeded on 738faa552745fad46e80382d1249522aa3caf0c8 (branch: master)
github mathlib4 bot (Feb 14 2026 at 00:46):
:check: mathlib_test_executable succeeded on 738faa552745fad46e80382d1249522aa3caf0c8 (branch: nightly-testing-2026-02-13)
github mathlib4 bot (Feb 15 2026 at 00:49):
:check: mathlib_test_executable succeeded on 88bb6d226a47fbd02dbda6e58822db638b58af5f (branch: master)
github mathlib4 bot (Feb 15 2026 at 00:50):
:check: mathlib_test_executable succeeded on 88bb6d226a47fbd02dbda6e58822db638b58af5f (branch: nightly-testing-2026-02-13)
github mathlib4 bot (Feb 16 2026 at 00:47):
:check: mathlib_test_executable succeeded on 854dbeb28ad8731d29fd6f93d82a3b960115fa60 (branch: master)
github mathlib4 bot (Feb 16 2026 at 00:48):
:check: mathlib_test_executable succeeded on 854dbeb28ad8731d29fd6f93d82a3b960115fa60 (branch: nightly-testing-2026-02-13)
github mathlib4 bot (Feb 17 2026 at 00:45):
:check: mathlib_test_executable succeeded on 32fe3f9354729a268ba178d0b5ae06eca180c247 (branch: master)
github mathlib4 bot (Feb 17 2026 at 00:46):
:check: mathlib_test_executable succeeded on 32fe3f9354729a268ba178d0b5ae06eca180c247 (branch: nightly-testing-2026-02-16)
github mathlib4 bot (Feb 18 2026 at 00:48):
:check: mathlib_test_executable succeeded on 33a7291a345d718bca41f8ae8a9bae365d8f2a3e (branch: master)
github mathlib4 bot (Feb 18 2026 at 00:49):
:check: mathlib_test_executable succeeded on 33a7291a345d718bca41f8ae8a9bae365d8f2a3e (branch: nightly-testing-2026-02-17)
github mathlib4 bot (Feb 19 2026 at 00:47):
:check: mathlib_test_executable succeeded on 57d8fb21eb19bd4208502c2aeda31fd5395db5d9 (branch: nightly-testing-2026-02-17)
github mathlib4 bot (Feb 20 2026 at 00:43):
:check: mathlib_test_executable succeeded on e318a59779732a8c1a454584e3b34d35d650e4ce (branch: master)
github mathlib4 bot (Feb 20 2026 at 02:09):
:check: mathlib_test_executable succeeded on e318a59779732a8c1a454584e3b34d35d650e4ce (branch: master)
github mathlib4 bot (Feb 21 2026 at 00:44):
:check: mathlib_test_executable succeeded on eeb0516db2cf15ea142c5701ef13f74c5d5cf1e2 (branch: master)
github mathlib4 bot (Feb 21 2026 at 00:45):
:check: mathlib_test_executable succeeded on eeb0516db2cf15ea142c5701ef13f74c5d5cf1e2 (branch: nightly-testing-2026-02-20)
github mathlib4 bot (Feb 22 2026 at 00:45):
:check: mathlib_test_executable succeeded on 965b9674bee100a4ec5c6201900cc7825d1f95fd (branch: master)
github mathlib4 bot (Feb 22 2026 at 00:45):
:check: mathlib_test_executable succeeded on 965b9674bee100a4ec5c6201900cc7825d1f95fd (branch: nightly-testing-2026-02-21)
github mathlib4 bot (Feb 23 2026 at 00:47):
:check: mathlib_test_executable succeeded on 44faade374ca87e7560156d6fdf4c92ed67d56d1 (branch: master)
github mathlib4 bot (Feb 23 2026 at 00:47):
:check: mathlib_test_executable succeeded on 44faade374ca87e7560156d6fdf4c92ed67d56d1 (branch: nightly-testing-2026-02-22)
github mathlib4 bot (Feb 24 2026 at 00:46):
:check: mathlib_test_executable succeeded on 8b62eaaedc3626613479540a7173a82249a07ed8 (branch: master)
github mathlib4 bot (Feb 24 2026 at 00:46):
:check: mathlib_test_executable succeeded on 8b62eaaedc3626613479540a7173a82249a07ed8 (branch: nightly-testing-2026-02-23)
github mathlib4 bot (Feb 25 2026 at 00:49):
:check: mathlib_test_executable succeeded on 5dc23921556bfc6478df24faec66c67d76a83879 (branch: master)
github mathlib4 bot (Feb 25 2026 at 00:49):
:check: mathlib_test_executable succeeded on 5dc23921556bfc6478df24faec66c67d76a83879 (branch: nightly-testing-2026-02-23)
github mathlib4 bot (Feb 26 2026 at 00:45):
:check: mathlib_test_executable succeeded on 78e57d26bd24de3d500bb01f44445fc7c0508fe7 (branch: master)
github mathlib4 bot (Feb 26 2026 at 00:46):
:check: mathlib_test_executable succeeded on 78e57d26bd24de3d500bb01f44445fc7c0508fe7 (branch: nightly-testing-2026-02-23)
github mathlib4 bot (Feb 27 2026 at 00:47):
:check: mathlib_test_executable succeeded on fe8cb25dafde66a3d8141d0bf75e47b65664dee6 (branch: master)
github mathlib4 bot (Feb 27 2026 at 00:47):
:check: mathlib_test_executable succeeded on fe8cb25dafde66a3d8141d0bf75e47b65664dee6 (branch: nightly-testing-2026-02-23)
github mathlib4 bot (Feb 28 2026 at 00:43):
:check: mathlib_test_executable succeeded on a8924dc107ccd183daa219a0b1b2e0c4956940b5 (branch: master)
github mathlib4 bot (Feb 28 2026 at 00:44):
:check: mathlib_test_executable succeeded on a8924dc107ccd183daa219a0b1b2e0c4956940b5 (branch: nightly-testing-2026-02-25)
Last updated: Feb 28 2026 at 14:05 UTC