Login

promachina/iut-lean

failed
masterpublicupdated
33821checked0blocked0openlast run

Next actionReview failed project healthThe latest verification or indexing state failed. Latest error: lake build failed with exit code none (process did not exit cleanly) (toolchain lean-v4-30-0, command: elan run leanprover/lean4:v4.30.0 -- bash -c export PATH="$(dirname "$(elan which lean)"):$PATH"; exec "$@" apx-lean-phase lake build)
Runs184 runs
RunStatusBranchCommitSourceQueued
#1303failedmaster19acd738github_push
#1302failede21-929-cohomology-checkpoint9ce7ebcfgithub_push
#1301failedmaster8959a85epoller
#1300failede21-924-complete667402efgithub_push
#1299failede21-924-checkpoint-quotientc4da0a6egithub_push
#1298failede21-924-checkpoint-target0fe9e073github_push
#1297failede21-924-checkpoint-geometric-target3fef4c4cgithub_push
#1296failede21-924-checkpoint-atlasd7a9b4b1github_push
#1295failede21-924-checkpoint-target756b19c9github_push
#1294failede21-924-checkpoint-target8d2e8e3agithub_push
#1293failede21-924-checkpoint-targetdb4441ccgithub_push
#1292failede21-924-checkpoint-quotientf5e1b02cgithub_push
#1291failede21-924-checkpoint-atlas8b2b9b83github_push
#1290failedmaster302b7f08poller
#1289failedmastera9aba764github_push
#1287failede23-3l-root-restricted-characteristic-currencya6045b39github_push
#1286failedmaster3d29e29epoller
#1284failedmaster41d15f0epoller
#1283failede23-3i-selected-k-root-cyclic-normalization907f1840github_push
#1282failedmaster99e5277cpoller
#1281failedmastercc2a2720poller
#1280failedmastere1c020cepoller
#1279failedmaster4f5eb570github_push
#1278failedmaster2565ff58poller
#1277failedmaster44f64ce1poller
#1276failedmasterc1bd9953poller
#1275failedmaster387e39cepoller
#1274failedmasteref20558agithub_push
#1272failedmasterfa34eeb2poller
#1271failedmaster617ecce0poller
#1270failedmaster0c6fca4cgithub_push
#1269failedmaster394a9370poller
#1268failede21-926-mod13-bridges59df8ca7github_push
#1267failedmastere835d965poller
#1266failede23-2-independent-step-xi-contract18e26c7agithub_push
#1265failedmasterbe664932poller
#1264failede23-1-fixed-stage-q-approximationba8be801github_push
#1263failedmaster18fb8382github_push
#1258failedmaster0ba19051github_push
#1254failedmasterb2c8e372poller
#1250failede19-5-selected-completion-identification10982a5cgithub_push
#1249failedmasteraec609b0poller
#1247failedmaster15230b9egithub_push
#1243failedmasterdecafdb2github_push
#1238failedmaster837e9a62github_push
#1230failedmasterdaea915bpoller
#1215succeededmaster4953e647github_push
#1210succeededmaster96868cb8poller
#1208succeededmasterc41758e3poller
#1207succeededmaster5c486531manual
#1206cancelledmaster5c486531poller
#1205failedmaster5c486531manual
#1204failedmaster5c486531manual
#1203failedmaster5c486531poller
#1202failedmaster5c486531manual
#1201failedmaster5c486531poller
#1200failedmaster5c486531manual
#1199failedmaster5c486531manual
#1198failedmaster5c486531poller
#1197failedmaster5c486531manual
#1196failedmaster5c486531manual
#1195failedmaster5c486531manual
#1194failedmaster5c486531manual
#1193failedmaster5c486531poller
#1192failedmaster5c486531manual
#1191failedmaster5c486531manual
#1190failedmaster5c486531manual
#1189failedmaster5c486531poller
#1188failedmaster5c486531poller
#1187failedmaster5c486531poller
#1186failedmaster5c486531manual
#1185failedmaster5c486531poller
#1073failedmaster81f0b9cbpoller
#1072failedmaster19bbebf0poller
#1071failedmaster825e75acpoller
#1070failedmaster9c075126poller
#1069failedmaster829a0be0poller
#1068failedmastera5257f7dpoller
#1067failedmaster7832205apoller
#1066failedmasterbf681f80poller
#1065failedmasterffe579a7poller
#1064failedmasterc011181bpoller
#1063failedmaster2d139372poller
#1062failedmasterc1626e83poller
#1061failedmasterb167fb14poller
#1058failedmaster6beb21dbpoller
#1050failedmaster7e872379poller
#1049failedmaster069488bbpoller
#1043failedmaster5d6214b7poller
#1037failedmasterdebe0878poller
#1034failedmaster9ad3d67epoller
#820failedmaster5a25d74fpoller
#766failedmastere84a8796poller
#764failedmasterdccfc4a4poller
#762failedmasterad1a109apoller
#714failedmaster8ce94ba3poller
#663failedmaster6ecab983poller
#661failedmaster8cec3517poller
#635failedmaster2b8e256cpoller
#634failedmaster01b0e097poller
#539failedmasterdc997b5cpoller
#524failedmaster8b956330poller
#458failedmaster012f1441poller
#445failedmaster88eeda70poller
#431failedmaster949365e0poller
#430failedmastera086a914poller
#421failedmaster05b73518poller
#377failedmastere636fa6apoller
#363succeededmastera94d4121github_backfill
#362succeededmasterc7cfbdfdgithub_backfill
#361failedmastercae6928dgithub_backfill
#360failedmaster630f0736github_backfill
#359succeededmaster4dbaeefdgithub_backfill
#358succeededmasterf0fb6f74github_backfill
#357succeededmaster274e6323github_backfill
#356succeededmaster6fb8e7cbgithub_backfill
#355failedmaster520d2b53github_backfill
#354succeededmasterf04a12a8github_backfill
#353succeededmaster858e4497github_backfill
#352failedmaster4657ae68github_backfill
#351succeededmaster36e5dae3github_backfill
#350succeededmasterf1665fa0github_backfill
#349succeededmaster5d7fe098github_backfill
#348succeededmasterb110bf27github_backfill
#347failedmaster910f761cgithub_backfill
#346succeededmaster4445261emanual_cache_retry
#345failedmasterb8234fcagithub_backfill
#344succeededmaster4445261egithub_backfill
#342failedmaster12abe93emanual
#343succeededmasterc85d209bgithub_backfill
#341succeededmaster71ef5dc5manual
#340failedmaster71ef5dc5manual
#339failedmaster71ef5dc5github_backfill
#338failedmasterf203c05agithub_backfill
#337failedmaster5bf047ddgithub_backfill
#336failedmastere1fd2289poller
#275failedmastercf0aacf6poller
#244succeededmaster7dc5aeb2manual
#243failedmasterbad1b155github_backfill
#242failedmaster7c65e7cdgithub_backfill
#241failedmaster185f19abgithub_backfill
#240failedmaster33687949github_backfill
#239failedmaster93b2f8bagithub_backfill
#238failedmaster880da72bgithub_backfill
#237failedmaster0d089472github_backfill
#236failedmaster0b9805a1github_backfill
#235failedmasterd2aa8988poller
#155succeededmaster1a8c042fpoller
#36failedmaster70bfde35poller
#35succeededmaster7dc5aeb2manual
#34succeededmaster7dc5aeb2manual
#33failedmaster7dc5aeb2manual
#32failedmaster7dc5aeb2manual
#31failedmaster7dc5aeb2manual
#30failedmaster7dc5aeb2manual
#29failedmaster7dc5aeb2manual
#28failedmaster7dc5aeb2manual
#27succeededmaster7dc5aeb2poller
#22failedmasterb05be61cpoller
#23failedmaster32cf5db0poller
#26failedmaster6ab4376cpoller
#25failedmaster3b3fb979poller
#24failedmaster7f2d371cpoller
#6failedmasterfe5e13ebpoller
#21failedmaster9e8291bapoller
#20failedmasterc5329711poller
#19failedmaster797b6876poller
#18failedmaster1fee6432poller
#17failedmaster43b13af0poller
#16failedmaster295db12dpoller
#15failedmastera8107d54poller
#14failedmaster4534dc83poller
#13failedmasterc678db83poller
#12failedmastercc4230f1poller
#11failedmasterf9827ecdpoller
#10failedmasterb3faf3c8poller
#9failedmasterdbfa6d05poller
#8failedmaster9fe3427cpoller
#7failedmaster4ef29c2cpoller
#5failedmastereef13c1bpoller
#4failedmasterc4a36049poller
#3failedmaster172d8944poller
#2failedmaster1a088a83poller
#1succeededmaster5fdc2dadpoller

Keyboard shortcuts