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)

Last updated: Dec 20 2025 at 21:32 UTC