From 7c9d4d9b11203b8ff64b4a3d928711c9a8df3271 Mon Sep 17 00:00:00 2001 From: justincasher Date: Sat, 9 May 2026 15:10:19 -0700 Subject: [PATCH] Drop facebookresearch/wybecoder from manual candidates Clone repeatedly times out at 120s (likely large repo); the seven other failures from the recent full clone run come from Reservoir, not the manual list, so this is the only manual entry to drop. We can re-add it later if it stops timing out. --- aggregator/candidates/manual.txt | 1 - 1 file changed, 1 deletion(-) diff --git a/aggregator/candidates/manual.txt b/aggregator/candidates/manual.txt index b282d10eac..105b3850f1 100644 --- a/aggregator/candidates/manual.txt +++ b/aggregator/candidates/manual.txt @@ -263,7 +263,6 @@ https://github.com/ertwro/one_third_two_thirds https://github.com/estradilua/pointwise-birkhoff https://github.com/extism/lean4-sdk https://github.com/ezhuchko/RLTL-derivatives -https://github.com/facebookresearch/wybecoder https://github.com/faenuccio-teaching/M1_ENS_26 https://github.com/femtomc/logical_relations.lean https://github.com/Ferinko/LeanAStar