lean-3.10.0:
  mathlib:
    latest_success: a584d527e43639156a2e1bd715986ab082e0dafe
    latest_test: a584d527e43639156a2e1bd715986ab082e0dafe
    success: true
lean-3.11.0:
  mathlib:
    latest_success: 14a82b30165faa50113cbf463e5bc42e1f53a5ff
    latest_test: 14a82b30165faa50113cbf463e5bc42e1f53a5ff
    success: true
lean-3.12.0:
  mathlib:
    latest_success: 3449510c095f2f9dc81456cebf1f0054d0bb8231
    latest_test: 3449510c095f2f9dc81456cebf1f0054d0bb8231
    success: true
lean-3.13.1:
  mathlib:
    latest_success: 93119dd66bf63f38aa4a2fbdd7506cef4ccac1c6
    latest_test: 93119dd66bf63f38aa4a2fbdd7506cef4ccac1c6
    success: true
lean-3.13.2:
  mathlib:
    latest_success: ab5d0f15414d9222d05aba626f2411c651e4426f
    latest_test: ab5d0f15414d9222d05aba626f2411c651e4426f
    success: true
lean-3.14.0:
  flypitch:
    latest_test: 66c0438911beb1618df5c8a0957f4be4fa36b536
    success: false
  mathlib:
    latest_success: 25fc0a8f779d7299a7dc2d17c1589f4b8bb1a571
    latest_test: 25fc0a8f779d7299a7dc2d17c1589f4b8bb1a571
    success: true
lean-3.15.0:
  mathlib:
    latest_success: b932a51056c3c46004f45b616c157a8f353a3f1a
    latest_test: b932a51056c3c46004f45b616c157a8f353a3f1a
    success: true
lean-3.16.0:
  mathlib:
    latest_success: daed8a41c379385c0beb1184f37d43870d6f8607
    latest_test: daed8a41c379385c0beb1184f37d43870d6f8607
    success: true
lean-3.16.1:
  mathlib:
    latest_success: 14292790529293a7ebc8caa70fc26b374e52a799
    latest_test: 14292790529293a7ebc8caa70fc26b374e52a799
    success: true
lean-3.16.2:
  mathlib:
    latest_success: 24792be6322ee73df596e1bebdb7e9215de3522c
    latest_test: 24792be6322ee73df596e1bebdb7e9215de3522c
    success: true
lean-3.16.3:
  mathematica:
    latest_success: 8440286c90de7857c969c44b29e233283761a55f
    latest_test: 8440286c90de7857c969c44b29e233283761a55f
    success: true
  mathlib:
    latest_success: f05933654f0abf64f112854ac8db97691c6528b0
    latest_test: f05933654f0abf64f112854ac8db97691c6528b0
    success: true
  test-repo-1:
    latest_success: 1314227de66884d964c58c89c6ad4f7700708288
    latest_test: 1314227de66884d964c58c89c6ad4f7700708288
    success: true
  test-repo-2:
    latest_success: 4168419f8ac8cb157ec3325d50717bf8a892352d
    latest_test: 4168419f8ac8cb157ec3325d50717bf8a892352d
    success: true
lean-3.16.4:
  mathlib:
    latest_success: 7d331eb9124fb4c8051d1028abf2caeedf13aadf
    latest_test: 7d331eb9124fb4c8051d1028abf2caeedf13aadf
    success: true
lean-3.16.5:
  mathlib:
    latest_success: f06e4e00a32ce6a349a0d2b0e3a65cd453599dbd
    latest_test: f06e4e00a32ce6a349a0d2b0e3a65cd453599dbd
    success: true
lean-3.17.0:
  mathlib:
    latest_success: 27f622eff9ab56d2fe7f8f619dc5f6b4caf1c31e
    latest_test: 27f622eff9ab56d2fe7f8f619dc5f6b4caf1c31e
    success: true
  test-repo-2:
    issue: 3
    latest_test: 082eb29d90021a1cf4d35e568db7e5ee63fdecb5
    success: false
lean-3.17.1:
  another-test:
    issue: 2
    latest_test: 1aa3a7425478c9962d14fa4f80a9cb651ff1483e
    success: false
  mathematica:
    latest_success: 25d8d02ba9d91add2b8d7fdc588c9ebedf022990
    latest_test: 25d8d02ba9d91add2b8d7fdc588c9ebedf022990
    success: true
  mathlib:
    latest_success: 92a20e647b829d160c35b42358f45b0bec1ff5e8
    latest_test: 92a20e647b829d160c35b42358f45b0bec1ff5e8
    success: true
  super2:
    latest_success: 28d5c48f30fade107f39a0d57946fb8f33ba57ae
    latest_test: 28d5c48f30fade107f39a0d57946fb8f33ba57ae
    success: true
  test-repo-1:
    latest_success: 1137169a896d18e923b244bd9d13a46c2a64b8a0
    latest_test: 1137169a896d18e923b244bd9d13a46c2a64b8a0
    success: true
lean-3.18.4:
  another-test:
    latest_success: d123b638fc13304e70ff7947604df63d1f7bd774
    latest_test: 1948932e8813c57df2c1f30a30681ef1ee8c3345
    success: false
  mathematica:
    latest_success: 1324ab17aca442da09daec4fc3277420a0fb67bb
    latest_test: 1324ab17aca442da09daec4fc3277420a0fb67bb
    success: true
  mathlib:
    latest_success: 17c4651c593391462d55f7f990dc05e54ec8ee39
    latest_test: 17c4651c593391462d55f7f990dc05e54ec8ee39
    success: true
  sudoku:
    latest_success: 81f80cd29f211957a1a669465bd30c900bb164d4
    latest_test: 81f80cd29f211957a1a669465bd30c900bb164d4
    success: true
  super2:
    issue: 3
    latest_test: be320a901bd1d3f7dc50ac497a640f810bbb2657
    success: false
  test-repo-1:
    issue: 13
    latest_success: ad93c66b8566bafa5db241d28639344bcd7687ce
    latest_test: 6673c84f388642216c38dfd9a2188ff8e87651ee
    success: false
  test-repo-2:
    issue: 4
    latest_success: aaa1b3fbf34cfde2b7315a0ac5095854cc766e11
    latest_test: aaa1b3fbf34cfde2b7315a0ac5095854cc766e11
    success: false
  topos:
    latest_success: b3d6a91d216a850aad3dfc68bf3a8521603bbb76
    latest_test: b3d6a91d216a850aad3dfc68bf3a8521603bbb76
    success: true
lean-3.19.0:
  lftcm2020:
    latest_success: 15587047ae47dde4e9612b73e2ac2074d4b680fe
    latest_test: 15587047ae47dde4e9612b73e2ac2074d4b680fe
    success: true
  mathematica:
    latest_success: 6b645b16a1f8a497680acad8b5e289dd55e4f8f6
    latest_test: 6b645b16a1f8a497680acad8b5e289dd55e4f8f6
    success: true
  mathlib:
    latest_success: d5be9f388a19f891daed609add98153b3024c100
    latest_test: d5be9f388a19f891daed609add98153b3024c100
    success: true
  sudoku:
    latest_success: f11b8dd2a18e61e96bf413af2c75ee37398391e1
    latest_test: f11b8dd2a18e61e96bf413af2c75ee37398391e1
    success: true
  super2:
    issue: 4
    latest_test: be320a901bd1d3f7dc50ac497a640f810bbb2657
    success: false
  test-repo-1:
    latest_success: 51e7783688f7104e841056a72dde2b1735e38e87
    latest_test: 51e7783688f7104e841056a72dde2b1735e38e87
    success: true
  test-repo-2:
    issue: 5
    latest_success: 7916db751e7717b3555f0f44098e2e464d9719dc
    latest_test: 7916db751e7717b3555f0f44098e2e464d9719dc
    success: false
  topos:
    latest_success: 22434e80755f6288527c44d2dd9550d81c461171
    latest_test: 22434e80755f6288527c44d2dd9550d81c461171
    success: true
lean-3.2.0:
  super:
    issue: 7
    latest_test: f557a546ed0a2d1a5cd91f1d68b656c944a8fdb0
    success: false
lean-3.20.0:
  lftcm2020:
    latest_success: a3f949b9ff369ad41460604ae6ef3e3d1f0b757e
    latest_test: a3f949b9ff369ad41460604ae6ef3e3d1f0b757e
    success: true
  mathematica:
    latest_success: 209cf0477e901cd0c1be639f655f2a27358ab944
    latest_test: 209cf0477e901cd0c1be639f655f2a27358ab944
    success: true
  mathlib:
    latest_success: 9379050719fa9f2605289bd85a0fb29100084eb3
    latest_test: 9379050719fa9f2605289bd85a0fb29100084eb3
    success: true
  rubiks-cube-group:
    latest_success: 3baebd73972384294931c75d584a491eb0fbc15c
    latest_test: 3baebd73972384294931c75d584a491eb0fbc15c
    success: true
  sudoku:
    latest_success: 2ce4b5d77b886a37cef41ef4f5bb62cdd1b27714
    latest_test: 2ce4b5d77b886a37cef41ef4f5bb62cdd1b27714
    success: true
  test-repo-2:
    issue: 6
    latest_test: 0a37d10212b2bc85e5363dafda5e084985b8307e
    success: false
  topos:
    latest_success: 5e0783fb0b0960567ca4a6c3ccdc3827005eb035
    latest_test: 5cda6558120eb3351638c6b21e59ab29dcc37d28
    success: false
lean-3.21.0:
  lftcm2020:
    latest_success: 77453ed2871c91a2f99f4e1fc9d540207a067669
    latest_test: 77453ed2871c91a2f99f4e1fc9d540207a067669
    success: false
  mathematica:
    latest_success: cad7fce7b68c7013f990a2cb47cb569029b65cd1
    latest_test: cad7fce7b68c7013f990a2cb47cb569029b65cd1
    success: true
  mathlib:
    latest_success: 69db7a330df86247f47a84fab0f52ab9274ca29b
    latest_test: 69db7a330df86247f47a84fab0f52ab9274ca29b
    success: true
  sudoku:
    latest_success: c01254daf4eb5834d3f2764fd5aa9fa2f01f594c
    latest_test: c01254daf4eb5834d3f2764fd5aa9fa2f01f594c
    success: true
  test-repo-2:
    issue: 7
    latest_test: 894c76cd317a09189143f53642a61198093310bb
    success: false
lean-3.22.0:
  mathematica:
    latest_success: 860a4c70d0cae58abdd7211ab951b7ebae2658e7
    latest_test: 860a4c70d0cae58abdd7211ab951b7ebae2658e7
    success: true
  mathlib:
    latest_success: 581b2af3eb36e4eb460cce3e3d7842e32e7a3349
    latest_test: 581b2af3eb36e4eb460cce3e3d7842e32e7a3349
    success: true
  sudoku:
    latest_success: 1b0ef89fffece674b661d9bfe6a141d66befc474
    latest_test: 1b0ef89fffece674b661d9bfe6a141d66befc474
    success: true
  test-repo-2:
    issue: 8
    latest_test: 5562c284781ecf8c100b589d47d0846d503a5378
    success: false
lean-3.23.0:
  lean-liquid:
    latest_success: d6be426ffc9bc78a6e1e5e883dfe6eb7ed84c864
    latest_test: d6be426ffc9bc78a6e1e5e883dfe6eb7ed84c864
    success: true
  lftcm2020:
    latest_success: b7e11ffe33933b509e9494fdac46c9a63e65350f
    latest_test: b7e11ffe33933b509e9494fdac46c9a63e65350f
    success: true
  mathematica:
    latest_success: 1f3c160300eadaec3f8802e2fa812c926ca0b893
    latest_test: 1f3c160300eadaec3f8802e2fa812c926ca0b893
    success: true
  mathlib:
    latest_success: 3669cb35c578441812ad30fd967d21a94b6f387e
    latest_test: 3669cb35c578441812ad30fd967d21a94b6f387e
    success: true
  sudoku:
    latest_success: 383b2f38f1d919a8665b58cb96bebda1a2cd89ac
    latest_test: 383b2f38f1d919a8665b58cb96bebda1a2cd89ac
    success: true
  test-repo-2:
    issue: 9
    latest_test: 44ddcfbb2881c041f004f4bc3f6c39d32fb02f7a
    success: false
  topos:
    latest_success: da9c86991dfbed3618276d0d8f2e0525d3448140
    latest_test: da9c86991dfbed3618276d0d8f2e0525d3448140
    success: true
lean-3.24.0:
  lean-liquid:
    latest_success: b88e023230920e5c1608c789046d9b12e1efc494
    latest_test: b88e023230920e5c1608c789046d9b12e1efc494
    success: true
  lftcm2020:
    latest_success: e010712d0b12b892f2fc8d8be4839da49172601c
    latest_test: e010712d0b12b892f2fc8d8be4839da49172601c
    success: true
  mathematica:
    latest_success: dec52ca17b783c1dd27b5aca91ea030c26c55708
    latest_test: dec52ca17b783c1dd27b5aca91ea030c26c55708
    success: true
  mathlib:
    latest_success: e5f9409cd645db4734e2fd09e6d1a120e8405dd0
    latest_test: e5f9409cd645db4734e2fd09e6d1a120e8405dd0
    success: true
  sudoku:
    latest_success: e13e26095e0f16b3ac5e3b8381d8b81bd8a40367
    latest_test: e13e26095e0f16b3ac5e3b8381d8b81bd8a40367
    success: true
  topos:
    latest_success: db4278e282c57e539c86a509bd3de96d2c91f7f1
    latest_test: c9032b11789e36038bc841a1e2b486972421b983
    success: false
lean-3.26.0:
  lean-gptf:
    latest_success: 3e20785d65604744e9e2dc9d710a695a7355fd2c
    latest_test: 68b128d520e0f41ef5b5c96d5a234c3ccfa0b89f
    success: false
  lean-liquid:
    latest_success: f9c49eacdd7058fded477ce18e1e962d1ee9ad2b
    latest_test: f9c49eacdd7058fded477ce18e1e962d1ee9ad2b
    success: false
  lftcm2020:
    latest_success: f5128777b2ba888f041469f236ea7c73d4602d7d
    latest_test: f5128777b2ba888f041469f236ea7c73d4602d7d
    success: true
  mathematica:
    latest_success: 5a7d6c24e3a4b99bfdd7221b65e4fb7deee21f65
    latest_test: 5a7d6c24e3a4b99bfdd7221b65e4fb7deee21f65
    success: true
  mathlib:
    latest_success: 093888086c67331db6c365194143d5cf139d3967
    latest_test: 093888086c67331db6c365194143d5cf139d3967
    success: true
  sudoku:
    latest_success: 56800c6b9145b62924cc13f934bc579708aeab1b
    latest_test: 56800c6b9145b62924cc13f934bc579708aeab1b
    success: true
lean-3.27.0:
  lean-liquid:
    latest_test: 42d02503f923885897595ffd4358796cb0bf8469
    success: false
  lftcm2020:
    latest_success: 861140eea37e7745a5ff596e2bb8826ff8c7ac7d
    latest_test: 861140eea37e7745a5ff596e2bb8826ff8c7ac7d
    success: true
  mathematica:
    latest_success: 6977d53cc8407a1708ec35168085d427dd8633cc
    latest_test: 6977d53cc8407a1708ec35168085d427dd8633cc
    success: true
  mathlib:
    latest_success: 8d8c35600803f284eca67b337f32186fd6087e9e
    latest_test: 8d8c35600803f284eca67b337f32186fd6087e9e
    success: true
  sudoku:
    latest_success: 386e74ad399b88bc27bfa3ab7ea6eecfb1228098
    latest_test: 386e74ad399b88bc27bfa3ab7ea6eecfb1228098
    success: true
lean-3.28.0:
  lean-liquid:
    latest_success: 423b9accf51e0721814b1b97789e1065e8389e07
    latest_test: 423b9accf51e0721814b1b97789e1065e8389e07
    success: true
  lftcm2020:
    latest_success: 7106de99cf15540721e646fce9163c362e23ca2b
    latest_test: 7106de99cf15540721e646fce9163c362e23ca2b
    success: true
  mathematica:
    latest_success: 11f48a2d62ec659d3c2d00206646f1c8ab6c9abd
    latest_test: 11f48a2d62ec659d3c2d00206646f1c8ab6c9abd
    success: true
  mathlib:
    latest_success: 7da83031115ee14e9079895ed17903f7c934e022
    latest_test: 7da83031115ee14e9079895ed17903f7c934e022
    success: true
  sphere-eversion:
    latest_success: 5e7667fe39b44a27911c8557e1a98f6b06214c1e
    latest_test: 5e7667fe39b44a27911c8557e1a98f6b06214c1e
    success: true
lean-3.3.0:
  mathlib:
    latest_success: 6a2607ef3af2b0a5083c03c2b6e3f10a44184fe4
    latest_test: 6a2607ef3af2b0a5083c03c2b6e3f10a44184fe4
    success: true
  super:
    issue: 8
    latest_test: 0386fbfaad62bfb92c8b0233802076851549c913
    success: false
lean-3.30.0:
  lean-liquid:
    latest_success: 9ec8f2a0b21684be08e5a17d44364db555102c37
    latest_test: 9ec8f2a0b21684be08e5a17d44364db555102c37
    success: true
  lean-social-choice:
    latest_success: 925e79e2de5a4a09a8e0cedca988ff8a2f012ab1
    latest_test: 925e79e2de5a4a09a8e0cedca988ff8a2f012ab1
    success: true
  lftcm2020:
    latest_success: d9dc17c6e020fb6e8c682574cfe1073a68a4e47e
    latest_test: d9dc17c6e020fb6e8c682574cfe1073a68a4e47e
    success: true
  mathematica:
    latest_success: ca75848e9115ed0aa1ed455e8303bbc0af47361c
    latest_test: ca75848e9115ed0aa1ed455e8303bbc0af47361c
    success: true
  mathlib:
    latest_success: 395d8716c3ad03747059d482090e2bb97db612c8
    latest_test: 395d8716c3ad03747059d482090e2bb97db612c8
    success: true
  sphere-eversion:
    latest_test: 53ffbd53f928ca416e9c2b8aa054177c1b2a5a84
    success: false
lean-3.31.0:
  lean-ga:
    latest_success: 1b872a9a6877fa0e8a513bd94a9291e8503ab5fd
    latest_test: 1b872a9a6877fa0e8a513bd94a9291e8503ab5fd
    success: true
  lean-liquid:
    latest_test: d6039cd5c3bdb36ce0f60c46af3c4bff0d5d3b1a
    success: false
  lean-social-choice:
    latest_success: 8e19e5e9d0b7f65e9f38df549aa9e130c7a0ba67
    latest_test: 8e19e5e9d0b7f65e9f38df549aa9e130c7a0ba67
    success: true
  lftcm2020:
    latest_test: ea3f3d6c7efdf3af2392f9cba022c7fb335f64e5
    success: false
  mathematica:
    latest_success: f66520feb065ae8867977a111a4969b3e2420c07
    latest_test: f66520feb065ae8867977a111a4969b3e2420c07
    success: true
  mathlib:
    latest_success: 03ddb8dd343a0dca6cd66470eaf3f40ce933876b
    latest_test: 03ddb8dd343a0dca6cd66470eaf3f40ce933876b
    success: true
  sphere-eversion:
    latest_test: f22bb90026bc407a806562177ada94c10c46d9ab
    success: false
lean-3.32.0:
  mathlib:
    latest_success: 6bc7b4e32679859ee9c136bb1cf9410d93e27fc2
    latest_test: 6bc7b4e32679859ee9c136bb1cf9410d93e27fc2
    success: true
lean-3.32.1:
  lean-ga:
    latest_success: 0b695765a3ab2f7091359746fe314717741c205b
    latest_test: 0b695765a3ab2f7091359746fe314717741c205b
    success: true
  lean-liquid:
    latest_success: 20856e5c7cafc3a447bbb1314ac2c5b67a50461e
    latest_test: 20856e5c7cafc3a447bbb1314ac2c5b67a50461e
    success: true
  lean-social-choice:
    latest_success: d0dd39bcee4f70035994db2cc7bc88216441abf6
    latest_test: d0dd39bcee4f70035994db2cc7bc88216441abf6
    success: true
  lftcm2020:
    latest_success: 2c3e7f19cdb877feb6dde9d3a5db523960173576
    latest_test: 2c3e7f19cdb877feb6dde9d3a5db523960173576
    success: true
  mathematica:
    latest_success: b923b08c35f8533b840822dda2e7f31b6f05234d
    latest_test: b923b08c35f8533b840822dda2e7f31b6f05234d
    success: true
  mathlib:
    latest_success: 82dced6010ba7d840c3445ea32fe6e3fc63332b2
    latest_test: 82dced6010ba7d840c3445ea32fe6e3fc63332b2
    success: true
  sphere-eversion:
    latest_test: 7ed4667a9d57610d39c8f33a492baf42180c6790
    success: false
lean-3.33.0:
  lean-ga:
    latest_success: 0b412b30d9b8918393dcb23bd27416c2bdb8b95f
    latest_test: 0b412b30d9b8918393dcb23bd27416c2bdb8b95f
    success: true
  lean-liquid:
    latest_success: 2d4bc56fb9d9022c64c0738210aaf733a8949add
    latest_test: 008f3eb1840ca2cfd8ade9b7f9bc7117645d1270
    success: false
  lean-social-choice:
    latest_success: a028df6db5386d9454534f04838b99ac47654d79
    latest_test: a028df6db5386d9454534f04838b99ac47654d79
    success: true
  lftcm2020:
    latest_success: 7033c28612fa048413cf7dd3be2c04017e344b9d
    latest_test: 7033c28612fa048413cf7dd3be2c04017e344b9d
    success: true
  mathematica:
    latest_success: 6026ce8c36ce8fade81382fa86314cf5a5306d6f
    latest_test: 6026ce8c36ce8fade81382fa86314cf5a5306d6f
    success: true
  mathlib:
    latest_success: 8366f9321566464a0c317d351e51d75c930417c4
    latest_test: 8366f9321566464a0c317d351e51d75c930417c4
    success: true
  sphere-eversion:
    latest_success: e9aeeab9c4df1e40694089a000d645aa2192acd2
    latest_test: e9aeeab9c4df1e40694089a000d645aa2192acd2
    success: true
lean-3.34.0:
  flt-regular:
    latest_success: 2531e6f085040cac62189c43b7173cbda18b5c5d
    latest_test: 2531e6f085040cac62189c43b7173cbda18b5c5d
    success: true
  lean-ga:
    latest_success: 552e97a93d36e319f94f9988ff6e76d271c22d57
    latest_test: 552e97a93d36e319f94f9988ff6e76d271c22d57
    success: true
  lean-liquid:
    latest_success: fffdff435230a38cf927d0c0c162c29e1a33bf48
    latest_test: 312273b8f89b574551d4cfab9e68a2e1d25b4fd0
    success: false
  lftcm2020:
    latest_success: 3f0de1ec3c8caa0278a453843f30f7983100c242
    latest_test: 3f0de1ec3c8caa0278a453843f30f7983100c242
    success: true
  mathlib:
    latest_success: c722dae67797134e97da95bf4c17e704f013a437
    latest_test: c722dae67797134e97da95bf4c17e704f013a437
    success: true
  sphere-eversion:
    latest_test: d69696d07d5456ac609453f7827c53cc41dfb9d3
    success: false
  super2:
    latest_success: 9bc5256c31750021ab97d6b59b7387773e54b384
    latest_test: 9bc5256c31750021ab97d6b59b7387773e54b384
    success: true
lean-3.35.0:
  flt-regular:
    latest_success: ef5c8d595168fe90d29f04a8dd35e0a314979ceb
    latest_test: ef5c8d595168fe90d29f04a8dd35e0a314979ceb
    success: true
  lean-ga:
    latest_success: d2e9558647085b5cdd710bfe7645d640d0f96eba
    latest_test: d2e9558647085b5cdd710bfe7645d640d0f96eba
    success: true
  lean-liquid:
    latest_success: cbd6fa0a456dd956efc3f78013f25cbb9586ba96
    latest_test: cbd6fa0a456dd956efc3f78013f25cbb9586ba96
    success: true
  lean-matrix-cookbook:
    latest_test: 1a1d3f7f6122fb6fe11efa832ecd764de45c4302
    success: false
  lean-social-choice:
    latest_success: 19e158d4fb9598e2842352cb0b326b0090929c1b
    latest_test: 19e158d4fb9598e2842352cb0b326b0090929c1b
    success: true
  lftcm2020:
    latest_success: 61f635845fa5ac2083331b0f8a821264ab729b03
    latest_test: 61f635845fa5ac2083331b0f8a821264ab729b03
    success: true
  mathlib:
    latest_success: 440163b41bdae0a19a32cf0218ee186e139fb12d
    latest_test: 440163b41bdae0a19a32cf0218ee186e139fb12d
    success: true
  sphere-eversion:
    latest_test: 8001c85bd68d6ff80a3a6cdc158a14172443465b
    success: false
lean-3.35.1:
  flt-regular:
    latest_test: 8ee5eab053fe13700d14474aeb9a471673e4ed09
    success: false
  lean-ga:
    latest_success: 29e45673712fd29d77b82c3d9ca33648d55ea93b
    latest_test: 29e45673712fd29d77b82c3d9ca33648d55ea93b
    success: true
  lean-liquid:
    latest_success: 2083c21acc36fb4b35629b2261e6eedbbb018055
    latest_test: 2083c21acc36fb4b35629b2261e6eedbbb018055
    success: true
  lean-social-choice:
    latest_success: 7020e1e652b4a987dfec5a23fad2e7b0d94686c6
    latest_test: 9906ade382ace77af4fef1edb70364b84f7afd9c
    success: false
  lftcm2020:
    latest_success: e3729a13e970551498addcfc7b0a02c5156b8f42
    latest_test: e3729a13e970551498addcfc7b0a02c5156b8f42
    success: true
  mathematica:
    latest_success: b54a57757f877688d6a3af89c1b8cf22164cc259
    latest_test: b54a57757f877688d6a3af89c1b8cf22164cc259
    success: true
  mathlib:
    latest_success: dd1242d2aec84561c8f8651721ea1c1d8d25007a
    latest_test: dd1242d2aec84561c8f8651721ea1c1d8d25007a
    success: true
  sphere-eversion:
    latest_success: 3a14ae88274fa3a40d0583777746792c1978bdaa
    latest_test: 3a14ae88274fa3a40d0583777746792c1978bdaa
    success: true
lean-3.36.0:
  flt-regular:
    latest_success: 83d7c15e267cf717812d57bdc4b3e1fd6d81b8fe
    latest_test: 83d7c15e267cf717812d57bdc4b3e1fd6d81b8fe
    success: true
  lean-ga:
    latest_success: c5f00ee50723ee29598decafe8732cf719007cbf
    latest_test: c5f00ee50723ee29598decafe8732cf719007cbf
    success: true
  lftcm2020:
    latest_success: b9b75265ac3c63f04ffa19fe52679f5c8068af71
    latest_test: b9b75265ac3c63f04ffa19fe52679f5c8068af71
    success: true
  mathlib:
    latest_success: 2bb25f05603d7fb79704fe705b3e25ff47a5e674
    latest_test: 2bb25f05603d7fb79704fe705b3e25ff47a5e674
    success: true
lean-3.37.0:
  flt-regular:
    latest_test: c087cd0378c3c016947d1147bbb283740b1896f9
    success: false
  lean-ga:
    latest_success: b62a34565d28c1fb6df5a77f1441342745daf0d9
    latest_test: b62a34565d28c1fb6df5a77f1441342745daf0d9
    success: true
  lean-liquid:
    latest_success: 5f75ac2db28dc8b3e8b90fbce5ec2d491b90c146
    latest_test: 5f75ac2db28dc8b3e8b90fbce5ec2d491b90c146
    success: true
  lftcm2020:
    latest_test: fbd74dc32a50291ae5a21b28717640b39fcb8736
    success: false
  mathlib:
    latest_success: b8d2affd74d91e6cd4a83bd13010d823bbe2ff64
    latest_test: b8d2affd74d91e6cd4a83bd13010d823bbe2ff64
    success: true
lean-3.38.0:
  flt-regular:
    latest_success: 3b7313f56419d0625bb2c9fa34f2b4aa901c0409
    latest_test: 3b7313f56419d0625bb2c9fa34f2b4aa901c0409
    success: true
  lean-ga:
    latest_success: 1d0b55a5fae79b01763d6091e92f6c419849bf5e
    latest_test: 1d0b55a5fae79b01763d6091e92f6c419849bf5e
    success: true
  lean-liquid:
    latest_success: 55796603f63c9c178b371ff26768c459dde26c7b
    latest_test: 55796603f63c9c178b371ff26768c459dde26c7b
    success: true
  lftcm2020:
    latest_success: 8ce1d29ff4de0c736352ee1aa0d9922755d93804
    latest_test: 8ce1d29ff4de0c736352ee1aa0d9922755d93804
    success: true
  mathlib:
    latest_success: 049a1b2bb070c2b115dea3263ba9ca59e7d89eb8
    latest_test: 049a1b2bb070c2b115dea3263ba9ca59e7d89eb8
    success: true
  sphere-eversion:
    latest_test: f7a2fe9689f3f9468317191f3642a47c62d21935
    success: false
  unit-fractions:
    latest_success: 37c31bbeba3e7e2d16b93280be0db6f91162fe00
    latest_test: 37c31bbeba3e7e2d16b93280be0db6f91162fe00
    success: true
lean-3.39.0:
  flt-regular:
    latest_success: 3403d0cd6c0552b8681913d6a617f9d910bd9180
    latest_test: 3403d0cd6c0552b8681913d6a617f9d910bd9180
    success: true
  lean-ga:
    latest_success: e22100bcd86670aa356a7e944a780a5ee6872b8f
    latest_test: e22100bcd86670aa356a7e944a780a5ee6872b8f
    success: true
  lftcm2020:
    latest_success: 0f09052bdd7e6dff8142c7d37752ded1c0bf8e88
    latest_test: 0f09052bdd7e6dff8142c7d37752ded1c0bf8e88
    success: true
  mathematica:
    latest_success: faf41dadd038345d833deee0903da544112c09cc
    latest_test: faf41dadd038345d833deee0903da544112c09cc
    success: true
  mathlib:
    latest_success: b1269b0da05d1c84442a99af2a8b518d467b3cb9
    latest_test: b1269b0da05d1c84442a99af2a8b518d467b3cb9
    success: true
  sphere-eversion:
    latest_success: 4cf19cf77fcb3b0025a828f4934143021e1b166a
    latest_test: 4cf19cf77fcb3b0025a828f4934143021e1b166a
    success: true
  sudoku:
    latest_success: 9a3081561636b7a7773e00f32ac6bba77df21e98
    latest_test: 9a3081561636b7a7773e00f32ac6bba77df21e98
    success: true
  unit-fractions:
    latest_success: 77f9178a87acc5612b4ab25537e54ab8311047bf
    latest_test: 77f9178a87acc5612b4ab25537e54ab8311047bf
    success: true
lean-3.39.1:
  flt-regular:
    latest_success: 5641ec98000806014cde88fdae48ff1fcf06bb0a
    latest_test: 5641ec98000806014cde88fdae48ff1fcf06bb0a
    success: true
  lean-ga:
    latest_success: 93054169e9e8f9667ee6905a5debb239f17eae66
    latest_test: 93054169e9e8f9667ee6905a5debb239f17eae66
    success: true
  lean-liquid:
    latest_success: 12952dd94eb6c09dbb23e4c6d0dced97fe33ac0c
    latest_test: 12952dd94eb6c09dbb23e4c6d0dced97fe33ac0c
    success: true
  lftcm2020:
    latest_success: b59b034144d9292eed004e648b921e3bb003a9f4
    latest_test: b59b034144d9292eed004e648b921e3bb003a9f4
    success: true
  mathematica:
    latest_success: 95f23e4daa34b5f89058c5b23654168f47fe8191
    latest_test: 95f23e4daa34b5f89058c5b23654168f47fe8191
    success: true
  mathlib:
    latest_success: 307711e2f9363c4da13d48f18381400be7393f48
    latest_test: 307711e2f9363c4da13d48f18381400be7393f48
    success: true
  sphere-eversion:
    latest_test: e7c913453f5c361473a09ec60a27158f259da896
    success: false
  sudoku:
    latest_success: ac3f01920a034ddf7270644fffca58565489ee9d
    latest_test: ac3f01920a034ddf7270644fffca58565489ee9d
    success: true
  unit-fractions:
    latest_success: 846f6b3d59de2b17777dc42769f9cb11e399b158
    latest_test: 846f6b3d59de2b17777dc42769f9cb11e399b158
    success: false
lean-3.39.2:
  flt-regular:
    latest_success: 4f5eb49054bcd84269f7d10dfcdcd5bf1ccef4dd
    latest_test: 4f5eb49054bcd84269f7d10dfcdcd5bf1ccef4dd
    success: true
  lean-ga:
    latest_success: b420fbf1296d9bb64413b09e114b65b138128a20
    latest_test: b420fbf1296d9bb64413b09e114b65b138128a20
    success: true
  lftcm2020:
    latest_success: 778823e45ff0920eca37c73df13f238e8c79b415
    latest_test: 778823e45ff0920eca37c73df13f238e8c79b415
    success: false
  mathematica:
    latest_success: fc8007b80cc50fb6318f606d4016451ad394645b
    latest_test: fc8007b80cc50fb6318f606d4016451ad394645b
    success: true
  mathlib:
    latest_success: d3d370176b2e3002b4ef20f48357dadc34843d4f
    latest_test: d3d370176b2e3002b4ef20f48357dadc34843d4f
    success: true
  sphere-eversion:
    latest_test: 19727a1401c603a7c18ad69b850e55c7b292c303
    success: false
  sudoku:
    latest_success: cf1f3e6ab5084d124e8117377aa4edfb81bf9b4d
    latest_test: cf1f3e6ab5084d124e8117377aa4edfb81bf9b4d
    success: false
  unit-fractions:
    latest_success: f9c0cc9278a1ac8de5307cd9e9bc6b4e34eb395c
    latest_test: f9c0cc9278a1ac8de5307cd9e9bc6b4e34eb395c
    success: true
lean-3.4.0:
  super:
    issue: 9
    latest_test: 0b44cb1679d631b5fa2b7fc6b60a25e1f015de1a
    success: false
lean-3.4.1:
  mathematica:
    latest_success: 29cd7c36eae542d595daf755aab9f4edcda41176
    latest_test: 29cd7c36eae542d595daf755aab9f4edcda41176
    success: true
  mathlib:
    latest_success: 019b2364cadb1dd8b30c9f13c602d61c19d3b6ea
    latest_test: 019b2364cadb1dd8b30c9f13c602d61c19d3b6ea
    success: true
  super:
    latest_success: ea69e23d395df3da3ac1fd28d4934db9dc866bea
    latest_test: ea69e23d395df3da3ac1fd28d4934db9dc866bea
    success: true
lean-3.4.2:
  flypitch:
    latest_test: 6e2548cab99c6cfcbec2f3b1affa72b9e4aa72a8
    success: false
  lean-perfectoid-spaces:
    latest_success: d2ba385ea1a408a1aa8b54de1c5389b9c44dfe89
    latest_test: d2ba385ea1a408a1aa8b54de1c5389b9c44dfe89
    success: true
  mathlib:
    latest_success: dd8da5165bd00b07408dbb87173e96908c6926a4
    latest_test: dd8da5165bd00b07408dbb87173e96908c6926a4
    success: true
  super:
    latest_success: fe50a40c3e2aeda02aa07c64752b0acf1edd9af4
    latest_test: fe50a40c3e2aeda02aa07c64752b0acf1edd9af4
    success: true
lean-3.40.0:
  flt-regular:
    latest_success: 85930df34db94f31f15f1e917c34db85995d3e56
    latest_test: 85930df34db94f31f15f1e917c34db85995d3e56
    success: true
  lean-ga:
    latest_success: 6afba5bd37f998a46fd901d3838aa94ff526e0c8
    latest_test: 6afba5bd37f998a46fd901d3838aa94ff526e0c8
    success: true
  lean-liquid:
    latest_success: 54d6bb190694c49ebab7ed62ed9e20aeb6f9db94
    latest_test: 54d6bb190694c49ebab7ed62ed9e20aeb6f9db94
    success: true
  lftcm2020:
    latest_success: 859b314cacc12e5f498232a391cd28032a44e242
    latest_test: 859b314cacc12e5f498232a391cd28032a44e242
    success: true
  mathematica:
    latest_success: bb32ad7ee0143fabf2a58414deffc960adbe81d1
    latest_test: bb32ad7ee0143fabf2a58414deffc960adbe81d1
    success: true
  mathlib:
    latest_success: e7db1936ac39f511d7247f20ed2a11658782e159
    latest_test: e7db1936ac39f511d7247f20ed2a11658782e159
    success: true
  sphere-eversion:
    latest_test: f06f3e906424cc8c1e8621b688a056cb427dcf12
    success: false
  sudoku:
    latest_success: 9694b8ee3fd217a19463a964c2b5ec80424b1109
    latest_test: 9694b8ee3fd217a19463a964c2b5ec80424b1109
    success: true
  unit-fractions:
    latest_success: 68b35d45fa98ae56056368b3c7b1a82f5e8837f5
    latest_test: 68b35d45fa98ae56056368b3c7b1a82f5e8837f5
    success: true
lean-3.41.0:
  flt-regular:
    latest_success: b37d95ebc16085a9e1cab5f17321c891cb5e3136
    latest_test: b37d95ebc16085a9e1cab5f17321c891cb5e3136
    success: true
  grammars:
    latest_success: 9d213b9356c6b3d66a755c5fdfe4f2b49227465b
    latest_test: 9d213b9356c6b3d66a755c5fdfe4f2b49227465b
    success: true
  lean-ga:
    latest_success: 3d96dd210b04477dc8cf1606f1aa581fd15c6ca9
    latest_test: 3d96dd210b04477dc8cf1606f1aa581fd15c6ca9
    success: true
  lean-matrix-cookbook:
    latest_success: f5f692096d1147d3b1d3a70a4bc87a5cda0b86ec
    latest_test: f5f692096d1147d3b1d3a70a4bc87a5cda0b86ec
    success: true
  lftcm2020:
    latest_success: 984735bfecbc1ea307a597607b87c9ff58e6c47e
    latest_test: 984735bfecbc1ea307a597607b87c9ff58e6c47e
    success: true
  mathematica:
    latest_success: 97252114bae567ef4350a0fe25cb3eda65e3aa1a
    latest_test: 97252114bae567ef4350a0fe25cb3eda65e3aa1a
    success: true
  mathlib:
    latest_success: 42dcf354c56715e8b9e3fa8df385c51606ba95e8
    latest_test: 42dcf354c56715e8b9e3fa8df385c51606ba95e8
    success: true
  sphere-eversion:
    latest_test: 38cda44643898cd1faf90d1015be4594152b4c02
    success: false
  sudoku:
    latest_success: 40fd8fac5a1b989014479637d4b539023bd09ab1
    latest_test: 40fd8fac5a1b989014479637d4b539023bd09ab1
    success: true
  unit-fractions:
    latest_success: f0c8aa9948a84e80602028aeb836cf38b66b3acb
    latest_test: f0c8aa9948a84e80602028aeb836cf38b66b3acb
    success: true
lean-3.42.0:
  con-nf:
    latest_test: e66af7a92684cc8371e52dbfb4531125ba30c05f
    success: false
  flt-regular:
    latest_success: 95d126ab47d9f335541b7474d9a45dace40532a2
    latest_test: 95d126ab47d9f335541b7474d9a45dace40532a2
    success: true
  lean-acl-pairs:
    latest_success: 57daf860dce4b5c26dddb03fa1b1b895a1a4621c
    latest_test: 57daf860dce4b5c26dddb03fa1b1b895a1a4621c
    success: true
  lean-ga:
    latest_success: 282b0afa0f0d022f4b2eba8e7c722b8dfaf9b327
    latest_test: 282b0afa0f0d022f4b2eba8e7c722b8dfaf9b327
    success: true
  lean-liquid:
    latest_success: afd255433197ae8c7d1f04246addb98a826f7777
    latest_test: 7bf58a451632a5a49d91612b68132945b0f4898d
    success: false
  lftcm2020:
    latest_success: 4ada2bdda08c93ca6041d8547583a26e4f6a5669
    latest_test: 4ada2bdda08c93ca6041d8547583a26e4f6a5669
    success: true
  mathematica:
    latest_success: 97401f41b3162d71d2a8132963ff931e6164696f
    latest_test: 97401f41b3162d71d2a8132963ff931e6164696f
    success: true
  mathlib:
    latest_success: 4f14d4d4fd1a0667c12e3092872ccafdf96ed4fc
    latest_test: 4f14d4d4fd1a0667c12e3092872ccafdf96ed4fc
    success: true
  sphere-eversion:
    latest_test: dc275686be7e10209aca7f987603a93f27ff46c8
    success: false
  sudoku:
    latest_success: 6f5518f73e2e9002eca408040d02a98addd67e66
    latest_test: 6f5518f73e2e9002eca408040d02a98addd67e66
    success: true
  unit-fractions:
    latest_success: 3b4ad54f88e934ffa0b6fdd02bba6a4f2ee74697
    latest_test: 91b137028c04e70ba5ff16d136d6bd1dfbea63fc
    success: false
lean-3.42.1:
  con-nf:
    latest_success: acac6f7f54ad50497cef34af7e69b8ac6ff08c55
    latest_test: acac6f7f54ad50497cef34af7e69b8ac6ff08c55
    success: true
  flt-regular:
    latest_success: cf3644d4be0e74fb1ecf36d41fc33a9527ad7d44
    latest_test: cf3644d4be0e74fb1ecf36d41fc33a9527ad7d44
    success: true
  lean-acl-pairs:
    latest_success: 772ceb0111129a4a01decd05fe984e13c2efffad
    latest_test: 772ceb0111129a4a01decd05fe984e13c2efffad
    success: false
  lean-ga:
    latest_success: e92d7267a65b26fc4b3e48fa9412b72d4c33e959
    latest_test: e92d7267a65b26fc4b3e48fa9412b72d4c33e959
    success: true
  lean-liquid:
    latest_success: ae4fa62f2792d5717c22a3bfa7f3c2adab84a87f
    latest_test: ae4fa62f2792d5717c22a3bfa7f3c2adab84a87f
    success: true
  lftcm2020:
    latest_success: fa4fd50b2f3d54baa59e6266960febc5f37c27a5
    latest_test: fa4fd50b2f3d54baa59e6266960febc5f37c27a5
    success: true
  mathematica:
    latest_success: 66a5b1ce7e2c6aed0de9c2d4d07410c7b76c6ed4
    latest_test: 66a5b1ce7e2c6aed0de9c2d4d07410c7b76c6ed4
    success: true
  mathlib:
    latest_success: c81c6c91781f12ac7005367a4477dcb2f6be638f
    latest_test: c81c6c91781f12ac7005367a4477dcb2f6be638f
    success: true
  sphere-eversion:
    latest_test: 4819836cab503d62a070f1880be13b3965e4dec7
    success: false
  sudoku:
    latest_success: 48355f5effd37e8ca20a78544d29186c0131a4a5
    latest_test: 48355f5effd37e8ca20a78544d29186c0131a4a5
    success: true
  unit-fractions:
    latest_success: 0a992c808c63bcfb835675a923d68942572e482c
    latest_test: b60c39a3ebd40a84104a4064840b10fc2af15fb8
    success: false
lean-3.43.0:
  con-nf:
    latest_success: 4f2830d1c5523814b991af51e2e407468a9ccfbd
    latest_test: 4f2830d1c5523814b991af51e2e407468a9ccfbd
    success: true
  flt-regular:
    latest_success: c76a607f100a81ce0e3445c5d120fd3db931fd3f
    latest_test: c76a607f100a81ce0e3445c5d120fd3db931fd3f
    success: true
  lean-ga:
    latest_test: 6268eb9b664d99e8c1e0bc0033c8135e29734857
    success: false
  lftcm2020:
    latest_success: c9122ef32998ec19d8b7083a70fb3c30f9687ea9
    latest_test: b3a82070679fa5d4d78971e2e9d5a6b3ed451e64
    success: false
  mathematica:
    latest_success: c6c872b45bd078b2bb890dc7b85b893100effa6a
    latest_test: c6c872b45bd078b2bb890dc7b85b893100effa6a
    success: true
  mathlib:
    latest_success: 05565f4d64c988f5ad3bc97eae5413229c34d01d
    latest_test: 05565f4d64c988f5ad3bc97eae5413229c34d01d
    success: true
  sphere-eversion:
    latest_test: c71e286ff8b9175037516583cd8b08f79054b57c
    success: false
  sudoku:
    latest_success: 045edc0f7981d9f80f851275a475ebce5675ab1c
    latest_test: 045edc0f7981d9f80f851275a475ebce5675ab1c
    success: true
lean-3.44.1:
  con-nf:
    latest_test: 9c8a3363e1305ff432f9406079e224dd0b8f7754
    success: false
  lean-liquid:
    latest_test: 3dcac748e9f7c871a3bf2614b5f7b5831789762e
    success: false
  lftcm2020:
    latest_test: bde08d99e33583d24392acef8ea175efa9027445
    success: false
  mathematica:
    latest_success: c83ba4b52f8cd1e876b1a97df114e540f3f477d0
    latest_test: c83ba4b52f8cd1e876b1a97df114e540f3f477d0
    success: true
  mathlib:
    latest_success: 25706131162465df8e6daecec75505f782fd428c
    latest_test: 25706131162465df8e6daecec75505f782fd428c
    success: true
  sphere-eversion:
    latest_test: 818e2398f43940a15123e2c59d601dd6c94eba77
    success: false
  sudoku:
    latest_success: 97c9bbce12d803c73c32949602874bcfb4b82ad6
    latest_test: 97c9bbce12d803c73c32949602874bcfb4b82ad6
    success: true
lean-3.45.0:
  con-nf:
    latest_success: db815ca9e6bba3230a7629f4f2e8d4f381b996bf
    latest_test: db815ca9e6bba3230a7629f4f2e8d4f381b996bf
    success: true
  flt-regular:
    latest_success: 723be36fca284cd151297ec4bc432efb98ad8139
    latest_test: 771f775305b5b8aa71a591b3873a766f48a08264
    success: false
  lean-ga:
    latest_success: 5821f46cf154501c8b2420e13f2136963ae22328
    latest_test: 5821f46cf154501c8b2420e13f2136963ae22328
    success: true
  lean-liquid:
    latest_success: 847ad4364a25236b13527c6e7dc2d13fdddda1ac
    latest_test: 847ad4364a25236b13527c6e7dc2d13fdddda1ac
    success: true
  lftcm2020:
    latest_success: 32d95e90267d13b83e63eea5366448658506aac5
    latest_test: 32d95e90267d13b83e63eea5366448658506aac5
    success: true
  mathematica:
    latest_success: 7bd4826cb8fdb15ce56ce93c3356e0975f300d8c
    latest_test: 7bd4826cb8fdb15ce56ce93c3356e0975f300d8c
    success: true
  mathlib:
    latest_success: 674ff195a9f1a20ba831cff222fc4e04bdce196a
    latest_test: 674ff195a9f1a20ba831cff222fc4e04bdce196a
    success: true
  sphere-eversion:
    latest_test: f3840135dd171f1f95e5fc6232bf42d5b5c5dad5
    success: false
  sudoku:
    latest_success: 610c6611ad7773d592d8d2317f39723e981e32a4
    latest_test: 610c6611ad7773d592d8d2317f39723e981e32a4
    success: true
lean-3.46.0:
  con-nf:
    latest_success: 34e669b2206aa2ccb98e66b899f41773cbcbf2b0
    latest_test: 34e669b2206aa2ccb98e66b899f41773cbcbf2b0
    success: true
  lean-ga:
    latest_success: ab338538608baaccb6b93be24cfb9798c7809bee
    latest_test: ab338538608baaccb6b93be24cfb9798c7809bee
    success: true
  lean-matrix-cookbook:
    latest_success: 39f88563debc0cb09daec7efd8ab14efe8acb4cc
    latest_test: 39f88563debc0cb09daec7efd8ab14efe8acb4cc
    success: true
  mathematica:
    latest_success: da433f2d07ffb96271e63d241160d1fb87284d94
    latest_test: da433f2d07ffb96271e63d241160d1fb87284d94
    success: true
  mathlib:
    latest_success: fbfe26dccf631eec689f33d47e609b3e5a27834a
    latest_test: fbfe26dccf631eec689f33d47e609b3e5a27834a
    success: true
  sphere-eversion:
    latest_test: e7cf19dcf57a8fc51b2d1a542227be5a1b5731b0
    success: false
  sudoku:
    latest_success: e5005fc274bad45d2034832d561b138185912ccd
    latest_test: e5005fc274bad45d2034832d561b138185912ccd
    success: true
lean-3.47.0:
  con-nf:
    latest_success: 421f1a1d26f73f1f7367f4e6d31b8adb2e3fb6f1
    latest_test: 421f1a1d26f73f1f7367f4e6d31b8adb2e3fb6f1
    success: true
  lean-liquid:
    latest_success: 41ac43ae21ef4c35996856d16f7cc78485f5ed0f
    latest_test: 41ac43ae21ef4c35996856d16f7cc78485f5ed0f
    success: true
  lftcm2020:
    latest_success: 49aa817f296f6f6fd6be654cf0423c1ca585ecab
    latest_test: 49aa817f296f6f6fd6be654cf0423c1ca585ecab
    success: true
  mathematica:
    latest_success: fb35bacbfb02db5ba826cd0b676f00a3b126f02b
    latest_test: fb35bacbfb02db5ba826cd0b676f00a3b126f02b
    success: true
  mathlib:
    latest_success: 371b4143b0298311cf76de600deb109816645e0f
    latest_test: 371b4143b0298311cf76de600deb109816645e0f
    success: true
  sudoku:
    latest_success: 1c02dbefebb4ed670ff3786ae1dcabab5470d806
    latest_test: 1c02dbefebb4ed670ff3786ae1dcabab5470d806
    success: true
lean-3.48.0:
  con-nf:
    latest_success: 54283f7ddfddcdc7ef195c8b2a581ad041d8f669
    latest_test: 1a522311328baad901a3414f317512efa5c80b9b
    success: false
  flt-regular:
    latest_success: b28b9c820b083d871a7008681a3e1c9809d13324
    latest_test: b28b9c820b083d871a7008681a3e1c9809d13324
    success: true
  lean-acl-pairs:
    latest_test: dc58f6a9b8df66ffa6ed9e421e96855c3e2755b2
    success: false
  lean-liquid:
    latest_success: 92f188bd17f34dbfefc92a83069577f708851aec
    latest_test: 92f188bd17f34dbfefc92a83069577f708851aec
    success: true
  lftcm2020:
    latest_success: 0f96f86121d5d0ea7d2fc1219f73bb44fc97a29b
    latest_test: 0f96f86121d5d0ea7d2fc1219f73bb44fc97a29b
    success: true
  mathematica:
    latest_success: f3dcb14c9de2f82c690196a65cf454a2024bf3a8
    latest_test: f3dcb14c9de2f82c690196a65cf454a2024bf3a8
    success: true
  mathlib:
    latest_success: f86ad885a0d049288b9e2742b8d55f363ebc3756
    latest_test: f86ad885a0d049288b9e2742b8d55f363ebc3756
    success: true
  sphere-eversion:
    latest_test: 6381a7337496c79d1a6be769324c40dfefd9face
    success: false
lean-3.49.0:
  flt-regular:
    latest_test: 6c3891e2c44deb9c3c13691379b9fd92c15a872e
    success: false
  lean-ga:
    latest_success: f78448d5edc7832ae4455e082948976a854894ee
    latest_test: f78448d5edc7832ae4455e082948976a854894ee
    success: true
  lean-matrix-cookbook:
    latest_success: 25afc94e978d4713e25b3d40bbd81b28dfbfa961
    latest_test: 25afc94e978d4713e25b3d40bbd81b28dfbfa961
    success: true
  lftcm2020:
    latest_success: 3291d8d8fc3a6c679c4a8d60e772480a27c880c6
    latest_test: 3291d8d8fc3a6c679c4a8d60e772480a27c880c6
    success: true
  mathematica:
    latest_success: 61a556ef82beda138e9b84e8793c26cf6b93fe41
    latest_test: 61a556ef82beda138e9b84e8793c26cf6b93fe41
    success: true
  mathlib:
    latest_success: cf1f8bcbd92d1da86c26f6ec4bddae1c31d65abd
    latest_test: cf1f8bcbd92d1da86c26f6ec4bddae1c31d65abd
    success: true
lean-3.49.1:
  flt-regular:
    latest_success: e79232a6cb8708ff500fb7938293083d21ec885a
    latest_test: e79232a6cb8708ff500fb7938293083d21ec885a
    success: true
  lean-ga:
    latest_success: a05c315547f4f782be3cc82560355d0fd70a7e85
    latest_test: a05c315547f4f782be3cc82560355d0fd70a7e85
    success: true
  lean-matrix-cookbook:
    latest_success: 91a52b28ede1a1a5537bc8ae1647adc27b58088a
    latest_test: 91a52b28ede1a1a5537bc8ae1647adc27b58088a
    success: true
  lftcm2020:
    latest_success: 13bf2a278fcd680adf8cf42dba7e3b78c9ccf377
    latest_test: 13bf2a278fcd680adf8cf42dba7e3b78c9ccf377
    success: false
  mathematica:
    latest_success: 5fa094b9a390a71821ba3f11aa2fd40377d6b017
    latest_test: 5fa094b9a390a71821ba3f11aa2fd40377d6b017
    success: true
  mathlib:
    latest_success: a149cb73f18ddaf3573cc6ec74fe9f1c00e12497
    latest_test: a149cb73f18ddaf3573cc6ec74fe9f1c00e12497
    success: true
  sphere-eversion:
    latest_success: 1cb67c3c208d9a3b64dc28bfaecf3bde47dad399
    latest_test: 1cb67c3c208d9a3b64dc28bfaecf3bde47dad399
    success: false
lean-3.5.1:
  lean-perfectoid-spaces:
    latest_test: 43954f64ce4afdf4fa39e2aeef8ec43826b24f2a
    success: false
  mathlib:
    latest_success: 8535132345bc8c4f48b56ebf89e0db5bcad8b456
    latest_test: 8535132345bc8c4f48b56ebf89e0db5bcad8b456
    success: true
lean-3.50.1:
  mathlib:
    latest_success: ac1e2e08841216b84cd59a7b601ee87f8c916b86
    latest_test: ac1e2e08841216b84cd59a7b601ee87f8c916b86
    success: true
lean-3.50.2:
  flt-regular:
    latest_success: 65683873a9bb30206479e816837205c031447825
    latest_test: 65683873a9bb30206479e816837205c031447825
    success: true
  mathlib:
    latest_success: 79ceafba6a55c014a7a7299d8c3ef8ead13a6036
    latest_test: 79ceafba6a55c014a7a7299d8c3ef8ead13a6036
    success: true
lean-3.50.3:
  con-nf:
    latest_success: 3776fb5a1d8935469c6c912e9fa507b853ad3786
    latest_test: f0b66bd73ca5d3bd8b744985242c4c0b5464913f
    success: false
  flt-regular:
    latest_success: 9a061a708ae6206d39f0345754544a41733518a8
    latest_test: 9a061a708ae6206d39f0345754544a41733518a8
    success: true
  lean-ga:
    latest_test: 5e8b22b2f25c7037723ad811faa312660eeb6775
    success: false
  lean-matrix-cookbook:
    latest_success: 3bc81d0f7373a2bd555fe58c2d4cbdb4e67c07e2
    latest_test: 3bc81d0f7373a2bd555fe58c2d4cbdb4e67c07e2
    success: true
  lftcm2020:
    latest_success: cc683e2b074b61909310746d6acc1fb3d42d6ee2
    latest_test: cc683e2b074b61909310746d6acc1fb3d42d6ee2
    success: false
  mathlib:
    latest_success: cb9077f70849a93b19e01903d497029014d76e35
    latest_test: cb9077f70849a93b19e01903d497029014d76e35
    success: true
  super:
    issue: null
    latest_test: 47b107b4cec8f3b41d72daba9cbda2f9d54025de
    success: false
lean-3.51.0:
  flt-regular:
    latest_success: 50387c2c13c4390e8485906544aaf7e6eccb3ed0
    latest_test: 50387c2c13c4390e8485906544aaf7e6eccb3ed0
    success: true
  mathlib:
    latest_success: ef95945cd48c932c9e034872bd25c3c220d9c946
    latest_test: ef95945cd48c932c9e034872bd25c3c220d9c946
    success: true
lean-3.51.1:
  flt-regular:
    latest_success: 4142f8909594c5c00773da354a99166e115b7e66
    latest_test: 4142f8909594c5c00773da354a99166e115b7e66
    success: true
  grammars:
    latest_success: 130772819d1a5cded522f811ef92eebecf8851a2
    latest_test: 130772819d1a5cded522f811ef92eebecf8851a2
    success: true
  lean-matrix-cookbook:
    latest_success: bc4de97a823b88ba6c570e8045dd1d50dd6c77a5
    latest_test: bc4de97a823b88ba6c570e8045dd1d50dd6c77a5
    success: true
  mathlib:
    latest_success: 32a7e535287f9c73f2e4d2aef306a39190f0b504
    latest_test: 32a7e535287f9c73f2e4d2aef306a39190f0b504
    success: true
lean-3.6.1:
  mathlib:
    latest_success: 6af37d37ef2e83bac310c4e82b52157e3ae2fbc1
    latest_test: 6af37d37ef2e83bac310c4e82b52157e3ae2fbc1
    success: true
lean-3.7.1:
  mathlib:
    latest_success: 34bac8d3688807417caaac4a794241ccbbcc95c0
    latest_test: 34bac8d3688807417caaac4a794241ccbbcc95c0
    success: true
lean-3.7.2:
  mathlib:
    latest_success: b15c213a4b4dbf602ca6e130d8a82516ab890fe4
    latest_test: b15c213a4b4dbf602ca6e130d8a82516ab890fe4
    success: true
lean-3.8.0:
  mathlib:
    latest_success: 6b095759061cbb736fdd7aaed8ca603a2e657b3e
    latest_test: 6b095759061cbb736fdd7aaed8ca603a2e657b3e
    success: true
lean-3.9.0:
  mathlib:
    latest_success: d1eae21454202855aeeda028bd9c39d45c57b6ed
    latest_test: d1eae21454202855aeeda028bd9c39d45c57b6ed
    success: true