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

Actor

All actors kebekus

Status

All status Success Failure Waiting Running

work

lean_action_ci.yml #7:Commit ca87d6998b pushed by kebekus

main

2026-06-25 16:03:39 +02:00

0s

Update Completion.lean

lean_action_ci.yml #6:Commit f8cdb5ba69 pushed by kebekus

main

2026-06-24 14:33:17 +02:00

0s

Update Duality.lean

lean_action_ci.yml #5:Commit 149ad082a3 pushed by kebekus

main

2026-06-24 14:18:30 +02:00

0s

Working

lean_action_ci.yml #4:Commit b20e936d11 pushed by kebekus

main

2026-06-24 14:02:20 +02:00

0s

Working

lean_action_ci.yml #3:Commit 73aaf8b24a pushed by kebekus

main

2026-06-24 13:46:13 +02:00

0s

Initial commit

lean_action_ci.yml #2:Commit 55e9632ed8 pushed by kebekus

main

2026-06-24 13:09:51 +02:00

0s

Initial commit

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

main

2026-06-25 16:03:39 +02:00

0s