All Workflows create-release.yml lean_action_ci.yml update.yml

Actor

All actors kebekus

Status

All status Success Failure Waiting Running

Update Cartan.lean

lean_action_ci.yml #32:Commit 84c3d25480 pushed by kebekus

main

2026-03-20 01:06:15 +01:00

0s

Create Cartan.lean

lean_action_ci.yml #31:Commit c1dc49b4f1 pushed by kebekus

main

2026-03-18 20:16:47 +01:00

0s

Update LEAN

lean_action_ci.yml #30:Commit 898bbf8569 pushed by kebekus

main

2026-03-18 19:08:58 +01:00

0s

Update LEAN

create-release.yml #29:Commit 898bbf8569 pushed by kebekus

main

2026-03-19 13:06:15 +01:00

0s

Working

lean_action_ci.yml #28:Commit b5192d563b pushed by kebekus

main

2026-03-18 09:58:23 +01:00

0s

Update Basic.lean

lean_action_ci.yml #27:Commit 3431ed262a pushed by kebekus

main

2026-03-17 10:55:33 +01:00

0s

Next challenge

lean_action_ci.yml #26:Commit fbe5000a26 pushed by kebekus

main

2026-03-17 07:06:15 +01:00

0s

Update Basic.lean

lean_action_ci.yml #25:Commit 0204554b17 pushed by kebekus

main

2026-02-24 07:37:42 +01:00

0s

Working

lean_action_ci.yml #24:Commit 121bdeac90 pushed by kebekus

main

2026-02-17 09:11:05 +01:00

0s

Cleanup

lean_action_ci.yml #23:Commit ba0469d4ab pushed by kebekus

main

2026-01-26 19:48:17 +01:00

0s

Update Basic.lean

lean_action_ci.yml #22:Commit 6ec755312b pushed by kebekus

main

2025-12-14 12:35:45 +01:00

0s

Update Basic.lean

lean_action_ci.yml #21:Commit 6de85b8db6 pushed by kebekus

main

2025-12-13 07:15:16 +01:00

0s

Update Basic.lean

lean_action_ci.yml #20:Commit b807b3597a pushed by kebekus

main

2025-12-12 20:25:16 +01:00

0s

Delete 884838fd-52e4-4608-80c9-73a896264eae-output.lean

lean_action_ci.yml #19:Commit 7bbf97915c pushed by kebekus

main

2025-12-12 16:01:24 +01:00

0s

Update Basic.lean

lean_action_ci.yml #18:Commit 542225a6f7 pushed by kebekus

main

2025-12-12 10:49:57 +01:00

0s

Update Basic.lean

lean_action_ci.yml #17:Commit 3923c53d90 pushed by kebekus

main

2025-12-11 18:35:45 +01:00

0s

Create 884838fd-52e4-4608-80c9-73a896264eae-output.lean

lean_action_ci.yml #16:Commit 1f6fcd938a pushed by kebekus

main

2025-12-09 11:03:32 +01:00

0s

Update Basic.lean

lean_action_ci.yml #15:Commit b7ade87d22 pushed by kebekus

main

2025-12-05 23:03:32 +01:00

0s

Update Basic.lean

lean_action_ci.yml #14:Commit c308fc2403 pushed by kebekus

main

2025-12-03 17:03:32 +01:00

0s

Update Basic.lean

lean_action_ci.yml #13:Commit 7942fe14aa pushed by kebekus

main

2025-12-02 16:45:30 +01:00

0s

Update Basic.lean

lean_action_ci.yml #12:Commit 3456e167d3 pushed by kebekus

main

2025-11-29 17:03:32 +01:00

0s

Update Basic.lean

lean_action_ci.yml #11:Commit c699823ad8 pushed by kebekus

main

2025-11-27 17:03:32 +01:00

0s

Update Basic.lean

lean_action_ci.yml #10:Commit c6396e002d pushed by kebekus

main

2025-11-20 15:57:15 +01:00

0s

Update Basic.lean

lean_action_ci.yml #9:Commit 2bb8762a4f pushed by kebekus

main

2025-11-05 22:04:25 +01:00

0s

Update Basic.lean

lean_action_ci.yml #8:Commit b3f99c37f2 pushed by kebekus

main

2025-10-28 19:34:55 +01:00

0s

Update Basic.lean

lean_action_ci.yml #7:Commit 9a25034577 pushed by kebekus

main

2025-10-27 15:27:09 +01:00

0s

Update Basic.lean

lean_action_ci.yml #6:Commit 7a04938669 pushed by kebekus

main

2025-10-27 07:04:06 +01:00

0s

Cleanup

lean_action_ci.yml #5:Commit 20a6e02774 pushed by kebekus

main

2025-10-26 06:38:22 +01:00

0s

Working…

lean_action_ci.yml #4:Commit 7eb9cf9772 pushed by kebekus

main

2025-10-25 07:19:32 +02:00

0s

Working…

create-release.yml #3:Commit 7eb9cf9772 pushed by kebekus

main

2025-10-26 07:34:55 +01:00

0s