Skip to content
Testbed

Testbed #4

Sign in to view logs

Testbed

Testbed #4

Manually triggered December 20, 2023 20:46
@tydeutydeu
⁠ 26c8a66
master
Status Success
Total duration 24m 4s
Artifacts 116

testbed.yml

on: workflow_dispatch
Setup
5s
Setup
Matrix: build
Collect Results
18s
Collect Results
Save Results
0s
Save Results
Fit to window
Zoom out
Zoom in

Annotations

77 errors
Build SchrodingerZhu/lean-gccjit on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/RustFFI.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build anurudhp/aoc2022 on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/Vero on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/straume on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build alexf91/lean4-ctypes on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/Megaparsec.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build ImperialCollegeLondon/M1F-explained on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/Ipld.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build tydeu/lean4-alloy on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/Wasm.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build leanprover-community/lean-auto on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build leanprover-community/llm on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build FWuermse/lean-postgres on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build AdrienChampion/safeIdx on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build KislyjKisel/Raylib.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build wellecks/llmstep on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build TristanCacqueray/gen-zmk on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build girving/ray on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build wellecks/ntptutorial on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build madvorak/chomsky on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/yatima on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build risc0/risc0-lean4 on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/FFaCiL.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build reilabs/proven-zk on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/Bellanova.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build YaelDillies/LeanCamCombi on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build fpvandoorn/sard on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lecopivo/lean4-karray on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build fpvandoorn/HausdorffSchoolLean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build PatrickMassot/GlimpseOfLean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build AdrienChampion/collChoSoWel on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build arthurpaulino/LeanMySQL on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build arthurpaulino/NumLean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build leanprover-community/lean4-metaprogramming-book on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/Lurk.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/Poseidon.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build utensil/ginac-lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build arthurpaulino/FxyLang on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/YatimaStdLib.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build leanprover/leansat on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build rami3l/plfl on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/Http.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build JamesGallicchio/lean-openapi on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build siddhartha-gadgil/Polylean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build ammkrn/printiest on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build knowsys/Formale-Systeme-in-LEAN on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build siddhartha-gadgil/lean-loris on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build alexkeizer/QpfTypes on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build ammkrn/timelib on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build leanprover-community/sphere-eversion on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build leanprover-community/iris-lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build leanprover-community/ProofWidgets4 on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build alexjbest/leaff on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build dupuisf/BibtexQuery on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build arthurpaulino/LeanREPL on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build andrejbauer/lean2sexp on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build yuma-mizuno/lean-math-workshop on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build Anderssorby/SDL.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/Blake3.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build leanprover-community/aesop on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build leanprover/std4 on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build SchrodingerZhu/hashbrown4lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build leanprover/doc-gen4 on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build google-deepmind/debate on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build Izzimach/lean-glfw on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/OpenSSL.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lean-dojo/LeanCopilot on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build leanprover/LeanInk on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lean-dojo/LeanInfer on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build lurk-lab/ZKSnark.lean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build yangky11/miniF2F-lean4 on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build fgdorais/lean4-parser on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build verified-optimization/CvxLean on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build madvorak/fecssk on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build leanprover-community/tutorials4 on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.
Build ah1112/synthetic_euclid_4 on leanprover/lean4-pr-releases:pr-release-3082
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
-AmtYqCulMjzJsqFiao0NzMNHG9kGv5xuw9vlX3rtkc Expired
147 Bytes
-WksM-fj2LIP0D-9cfmE2a1LMkOEUW1ymzALggeA9X4 Expired
147 Bytes
-Wzaqr0tSoOqbJ0AbWxMAbLEH80fuIV1nS5QeFDXUIc Expired
147 Bytes
0wHspU2fzfzrdoC7FI3Ab4ExFVD_-KNjIqcBPPlajF4 Expired
147 Bytes
1Y0YgsY6pQ2qyx1odM_nKHaqbNJ1yae-r_KnhO3a7-4 Expired
147 Bytes
1dlNYECcFStWT-w87_IoUTEBe57bWiimr9AQzcsfENI Expired
147 Bytes
35ZHSS0OpD1Zdo0LKG6T4QHU5Sl5UKKbPDBZ-s6Qbz4 Expired
147 Bytes
3UYJYJmeha10ZYivrvBy1pYM3U5vhgnNCQdAReu4-R4 Expired
147 Bytes
3_IJHsE5JHlANqTEoJP0fzW3vK0b2SypegAhqFxr8jo Expired
147 Bytes
3r64oFHt723_kSGKD2NM6y06pxp3Wo-hZOmckWk8vs4 Expired
147 Bytes
4BhvFBew-mvDvDKPN2KYu304NXHE40QVlINUZhfakf0 Expired
147 Bytes
4yMrVD4C_xwTtWNjRs8IFzCywmo44nxeSzofP5kOaKA Expired
147 Bytes
6yKHoC5HMD2UW-PWI5YvnhE4c5lYw-C3faR7yjywtz4 Expired
147 Bytes
7--YwCdgBuQX5lgjTrRWccXH5Gq3NpCHz452xaUDMHY Expired
147 Bytes
88SqQZbjVj75wsJcKNt496-fZdhW7v8q6q14WeOVOjk Expired
147 Bytes
8UxvqXXBN3gqHIq2oEu_JWM8B0UdqTApV1Uz54EbeYE Expired
147 Bytes
AsBPxcVyxEPVseOxSFcwCwe8STUy9l62hi8nh0CDTBg Expired
173 Bytes
BDSTJTRbZJCy6aX6lGsziLWKpaQT06BWWq4x__NnmNY Expired
147 Bytes
BHHoXj4jNzjVIwnlgDGwAbBoFhzKL1I_pHNAQWNuN6I Expired
147 Bytes
BHlPbUsRqp9kH09fhNkjqD7_TN5RqTA9YP_U0oQe-DY Expired
147 Bytes
BYkjUcp8xXtvQEStve6ZL98KfwRvHi-OeZCWxj3Z-Bw Expired
147 Bytes
CXdM2uAJvNz004fnR3PTC6aNhU5dVqUo8B8B7WK18Pc Expired
147 Bytes
CpNv56PfWWDogdX8xYaeQ9xLJ6DsSrftyQwx6-qXlcI Expired
147 Bytes
DIKoIyTZlVU_AhkM4yVCqpsFsfo7niNDODJxEr7P_Yo Expired
147 Bytes
DO60q45kdAsAnEDvb_13BRu1SygA0OKBdgp2Z1EXTWE Expired
173 Bytes
E2qkulsk0v2KeB0P6Ip3zI8nLGgGFGwRevifHgNTzAE Expired
147 Bytes
Eoa27c7X1da2vaXpsJUYh7mJKN83jDn8LvtNaKr-ssk Expired
173 Bytes
FJ6kQZBJmLJS5d2R34MfRaxq9KuNEBasNCtzbMoy5fc Expired
147 Bytes
Fi4z-SjzFO9xXqylVfQzZ3462tLYwO7hIn_c6msXlec Expired
147 Bytes
ICoLxrsmy8y1mWV-T4tMga2LRcpz3RUcf_l0go16lXs Expired
147 Bytes
JBkHdtcmM1djCQ0wK30hBJleDFXr4GNBqi7Y1W0iJWY Expired
147 Bytes
K1TuphURK-rZL54lWxDqN7pagIsDEXjPV8n-LukFBuU Expired
147 Bytes
K6n2_QKz4c4W_bHLsNs7oMhDMgiw_D4LdJzsjrFB-Zw Expired
147 Bytes
Kq2eEmaEgGH4S24RRySF3rCcvAemv_Y9GbZl5AG2tBw Expired
147 Bytes
L-hLZQ-56AwCePl3QySI6FL5ybepSU6ubbZXvj1Cs7U Expired
147 Bytes
MjvQDEQYWMpiR1o2JEpbz1Lxgy-1SHuhjnCPa8aa99w Expired
147 Bytes
NBml9fKgUQxXvnFQl3aO9PPwnmIQ4CMqaj-YHiZOZKM Expired
147 Bytes
O-iMuHzpnoCN4vp6tDXO1pOhuQh2MogyVkTJstKJrcc Expired
173 Bytes
O1V3Av6AW85gXv3KFUdixIHn_M5BbVh377gLpw4yfA0 Expired
147 Bytes
OElTvNzlFlRoLoreJJS-ZnmPPMvRBXQmcs0lF7ejKCQ Expired
147 Bytes
OLoqDSmZIMlJnWY3PU_k-9v0zBVrTIOMaU5jXaTbHiY Expired
147 Bytes
OQkVCSHvIz7x20Pa_yLz_uIHfi2vRnU10ftPhOy54gM Expired
147 Bytes
P-AXI0bDClACYADGYTk1DaKEuyV0vGXggUKQ-v7ReJc Expired
147 Bytes
P-bZTPzqEOKCvO0f9Bkz_D6jPngB1w0SgCzQPm1AGDo Expired
147 Bytes
Pu-jACExyGzJG_RIdIrVqQPE4BWX1l_31NkizpdxTbY Expired
147 Bytes
Py8NG2KosZdVYCaJ8fv7zfsHyB-C3vEaX8iJAFlUkKA Expired
147 Bytes
Qo5nxebYPAyhpt3T9FFpKjs0CfKhwLvlxPQ9qUYUePU Expired
147 Bytes
RtFyIJZSzjpfkqB7J_H1zAG39vfN8YfGa7e2yTpymXY Expired
147 Bytes
S5cGUCFd9Mpw0bqgxsl17YsYAMzq27T5os2Y2BQK1k8 Expired
147 Bytes
TL9aitOkxt_TRUXZ3AbzzvdbiGJ1j84oQBR7LE8gVQ8 Expired
147 Bytes
TQUZe_7bPTaey_wO85gFPOMcRsIv13wj-COmXvomcqA Expired
147 Bytes
TyT0TZsAH-TSgYRKyc5ce3Okf8iZpPjLgshjOCmbJvg Expired
147 Bytes
UpmuXAykxspzlhvLHuPqkCE94hP9IBoycmSvMmeNWNw Expired
147 Bytes
XXSw-DkIyrBNrBP7qhUfagGwgZtl9kjtcHDh3jyOnUg Expired
147 Bytes
XuqkG0KlKuHK4PwPIu4jS09KRVqpxcEthdr1taFnzhs Expired
147 Bytes
YE3GHK93BrQMtrfichEw-5MsxdMok-Z2bLnQWiLgb5U Expired
147 Bytes
YOix-9ZIuPARdzGE_h5_GoGGF7E29lJg0D7mn7d1ePs Expired
173 Bytes
YhaIMXgSv1gV1I3BqCPFdZcPaVrN4aLgNLSpLU6l0cY Expired
173 Bytes
ZP66abpygpHSfr-q0dPGetfswk_XSdI_1I6L58PGvck Expired
147 Bytes
ZohB8fCu0YJRUDkUrRFGQ3_AGmda1ZAXFyX-hNnU4Hk Expired
147 Bytes
_UVovOTPt4m6B0o4kI9U1oSIf2iLFCM3JBkWDcGZS50 Expired
147 Bytes
_mZNASs47_Y4DkKWssmjLrarW3COvS9rlKoaaOnT4_w Expired
147 Bytes
a0w6snyAHA3FVOeLEgF8xeF3zVZaBrRL7kK4uweM22Q Expired
147 Bytes
aNOkpRSL6bLeYXiT7Ri_-0sqzvsvZfHu5FR-Hie-FuY Expired
147 Bytes
aQz7n5NqhRsLcWMqBPn9HBYlteoPr2q1gx3FF7XM2PM Expired
147 Bytes
b-GPUZG_G2k9oXifInGtfJ7vlspdDiWHAMnN0c0q06Q Expired
147 Bytes
b4icar78KNWN_104qKKDhgF3tZhzL_Ly6ZAw4hQPWTI Expired
147 Bytes
biOCggw4PmFtC61HLQUPlSPt1Sb7gxruqiX9Vu_qApI Expired
147 Bytes
bpaofyWrz0StTCtfaQXAua6j7XcvWhgVVhSxuX6qEwQ Expired
147 Bytes
bwCx2DhbMC92eLPtMunez2xitjPEswELJXQTyI-UdMc Expired
173 Bytes
ck1Kem8jqXkrnj1dRr-ReZfD0CiU3nuPwRf5E8-51Eo Expired
173 Bytes
dAbfQvd3ohXCuRI79UPKgT2ZXG5xcA28QoeZtBHVwys Expired
147 Bytes
dLJQkesPOfmEA7xEVCWKe9c2f5odGBmF32VUb1GHteM Expired
147 Bytes
e22xmhhZOQo8BVmRHeKV-7qQKupy-kQs3ufWZuTu_II Expired
147 Bytes
eTIuCC7FxDHmXzNNuuAbqdgAK8LeEfP1qEgcg3IOvW0 Expired
147 Bytes
etFvtZpaCGH70tVPy2QHr0XzOIS04y5zvNmY13wMMoM Expired
147 Bytes
fEAjwjOmTBdydv9TmJncy4K-LzMLAy6d-seNgspkvBE Expired
147 Bytes
fcOpkrGErk8TU1aZIhITZXE-5y0EtsWthuUgZN-maZ4 Expired
147 Bytes
fjlMaR6NyJQgVATRfkrdYfnCVIlYW2lZrZYmEdKAQYI Expired
147 Bytes
fxG4E-2rp_Dqpf19RzdIanfyCDvxJMB4cfr9EmAc2bY Expired
147 Bytes
hdNbMws3YA7hwraUk8bGhpVr44upnBWYCvp6biJJWKc Expired
147 Bytes
iaMtqo6FMpKqa2V7ki-NNSN-IOdUuwlTrpjpwUw5v_g Expired
147 Bytes
ipzKwVVvWKqJUu5rbIzSh36Mm1-kDXRS6-PYozJ8f48 Expired
147 Bytes
j3URJOBQco7_fCIsc1nv2KZjYQ7jp6QtKLzv1STCrOM Expired
147 Bytes
jfpR-_-KFCRX0XUbaSZ4xAkTaw0DW1Ahn9kvvy-1-A0 Expired
147 Bytes
jh5oP2mvNYAC2p-N4M2Px3NNjL_DVXMiWBYdGJAUNS8 Expired
147 Bytes
jvqCz5P_IB0Bx9bGy6HqxKNZyX2WGbcKGjnLjqDQtzA Expired
147 Bytes
kFplWEVNkJ6nEKyK1vxVsdGv31utCYPGZ9Ppl6M03VU Expired
147 Bytes
kGWu9fGZpZotnFWz57GJuV5FIX73EsmWNOaYjE-N0-0 Expired
147 Bytes
m5Dy8uM_c6BTeJ_FQxEDrFP5whnD9lrXt2df4g1JyaM Expired
147 Bytes
matrix Expired
33.7 KB
n9oTJ3dIO7fdIEVjU3i17yYPVZAxzsY2oA-LG67F-SE Expired
147 Bytes
nar9QYYuGApa__ecTLC_EBLqyj_X7UPoNMG_MT5AYj8 Expired
147 Bytes
nn0AuMxt__f3CmdAbdhMZpI3KVBjvIIcYpHsGAOMzFI Expired
147 Bytes
oliRXi0kQ_8K-wMtKRCb2BiJxg2z2WmktqA3eGjHCXM Expired
147 Bytes
p3apA8-zjnRLFUf24FlNYh1TPGzJP9N-qRPIM7RXDzE Expired
147 Bytes
q9-ImN495OBDgy1c8njejolbGLz_X9c4s6aDFhquC0M Expired
147 Bytes
qL6kNynXn2jdbi45ABVbDYNQ5IicWE5weax11HDXe4Y Expired
147 Bytes
rcrd0WWlSbb7cV43QX8JYzbJ1Y1ocWC-8EuX5bdMVPs Expired
147 Bytes
results Expired
39.2 KB
s86UnjLoGhvu1AyMbS54VbHGZZ1H1NrqG32wZdaWhDI Expired
147 Bytes
s_8r7_JvmUPkMJJCtql9SczXIuGygo70urfFje638Pw Expired
147 Bytes
t61jKTYBFoyKTXnSkWT2GGBbNUcKgTfNgdR0e-8dMv8 Expired
147 Bytes
tS7otK0dHhIUITG5_okpoqYSZHwIxFsVshD6J-B9H6M Expired
147 Bytes
tWRORlNzFKPvCW_Kzb7tu4F1E_9fM-f_BcXITj6PCyA Expired
147 Bytes
tgaYViUfv_Ck3JP4qNhvTaSqlVC9Io7geA40Bt_nYsE Expired
173 Bytes
ttVP6Q2IMM_gX_VZ1cap8Y-wQvZI6SX_B3VS11q1WKk Expired
147 Bytes
uWDeR0YahPjisXRNBhMvhwHmAkRc7juXbq1iQd-4JiA Expired
147 Bytes
vH1ay5nkBFfr3ovEfYZ4glp3deTdtBHFDkK96C-ZOz8 Expired
147 Bytes
w9U9P1g2oRJN1LjIJ361lvSd167KESW7oEk1Hw4tUH8 Expired
147 Bytes
wY6RwgBgIOB2ixdF2li8P7mOA9eWkkJUQbNj9jH3tu0 Expired
147 Bytes
xDRhUps0tqXczQaXeJLkLKSZ3uHiOmNyTmNm00r9HWU Expired
147 Bytes
y-knFSGeWZz6p3xUghtVkesmEqkAwZaJ1lS4cFHMl8E Expired
147 Bytes
yWTsdxSBp-PNScQ3tNvKt1Q8rW-6gqNTMrLxD7djxBA Expired
147 Bytes
ydSJYGZtmrRcCzl27jdYV1q6o9UMCtL7G5GOOG8-Aqk Expired
147 Bytes
zaFBrQ90SGlLZRSGEopWP8fiegQdZPNhqS0DhRxw4iw Expired
147 Bytes