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

#9:Commit 2bb8762a4f pushed by kebekus

main

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

0s

Update Basic.lean

#8:Commit b3f99c37f2 pushed by kebekus

main

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

0s

Update Basic.lean

#7:Commit 9a25034577 pushed by kebekus

main

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

0s

Update Basic.lean

#6:Commit 7a04938669 pushed by kebekus

main

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

0s

Cleanup

#5:Commit 20a6e02774 pushed by kebekus

main

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

0s

Working…

#4:Commit 7eb9cf9772 pushed by kebekus

main

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

0s

Initial commit

#2:Commit d1fc1b634f pushed by kebekus

main

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

0s