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

Actor

All actors kebekus

Status

All status Success Failure Waiting Running

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

Initial commit

lean_action_ci.yml #2:Commit d1fc1b634f pushed by kebekus

main

2025-10-25 07:08:00 +02:00

0s

Initial commit

create-release.yml #1:Commit d1fc1b634f pushed by kebekus

main

2025-10-25 07:08:00 +02:00

0s