All Workflows Create Release Lean Action CI Update Dependencies

36 workflow runs

Actor

All actors kebekus

Status

All status Success Failure Canceled Skipped Waiting Running Blocked Canceling

Branch

All branches main

Update Basic.lean

Lean Action CI #36:Commit 509573e09c pushed by kebekus

main

2026-05-21 13:41:13 +02:00

0s

View workflow file

Update Basic.lean

Lean Action CI #35:Commit 22d6f74874 pushed by kebekus

main

2026-05-14 21:24:16 +02:00

0s

View workflow file

Update Basic.lean

Lean Action CI #34:Commit a8dea9a06b pushed by kebekus

main

2026-05-11 21:24:16 +02:00

0s

View workflow file

Working…

Lean Action CI #33:Commit 0e43b248d4 pushed by kebekus

main

2026-04-30 09:56:30 +02:00

0s

View workflow file

Update Cartan.lean

Lean Action CI #32:Commit 84c3d25480 pushed by kebekus

main

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

0s

View workflow file

Create Cartan.lean

Lean Action CI #31:Commit c1dc49b4f1 pushed by kebekus

main

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

0s

View workflow file

Update LEAN

Lean Action CI #30:Commit 898bbf8569 pushed by kebekus

main

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

0s

View workflow file

Update LEAN

Create Release #29:Commit 898bbf8569 pushed by kebekus

main

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

0s

View workflow file

Working

Lean Action CI #28:Commit b5192d563b pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #27:Commit 3431ed262a pushed by kebekus

main

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

0s

View workflow file

Next challenge

Lean Action CI #26:Commit fbe5000a26 pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #25:Commit 0204554b17 pushed by kebekus

main

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

0s

View workflow file

Working

Lean Action CI #24:Commit 121bdeac90 pushed by kebekus

main

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

0s

View workflow file

Cleanup

Lean Action CI #23:Commit ba0469d4ab pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #22:Commit 6ec755312b pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #21:Commit 6de85b8db6 pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #20:Commit b807b3597a pushed by kebekus

main

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

0s

View workflow file

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

Lean Action CI #19:Commit 7bbf97915c pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #18:Commit 542225a6f7 pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #17:Commit 3923c53d90 pushed by kebekus

main

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

0s

View workflow file

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

Lean Action CI #16:Commit 1f6fcd938a pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #15:Commit b7ade87d22 pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #14:Commit c308fc2403 pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #13:Commit 7942fe14aa pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #12:Commit 3456e167d3 pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #11:Commit c699823ad8 pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #10:Commit c6396e002d pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #9:Commit 2bb8762a4f pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #8:Commit b3f99c37f2 pushed by kebekus

main

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

0s

View workflow file

Update Basic.lean

Lean Action CI #7:Commit 9a25034577 pushed by kebekus

main

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

0s

View workflow file