All Workflows Create Release Lean Action CI Update Dependencies

7 workflow runs

Actor

All actors kebekus

Status

All status Success Failure Canceled Skipped Waiting Running Blocked Canceling

Branch

All branches main

work

Lean Action CI #7:Commit ca87d6998b pushed by kebekus

main

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

0s

View workflow file

Update Completion.lean

Lean Action CI #6:Commit f8cdb5ba69 pushed by kebekus

main

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

0s

View workflow file

Update Duality.lean

Lean Action CI #5:Commit 149ad082a3 pushed by kebekus

main

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

0s

View workflow file

Working

Lean Action CI #4:Commit b20e936d11 pushed by kebekus

main

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

0s

View workflow file

Working

Lean Action CI #3:Commit 73aaf8b24a pushed by kebekus

main

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

0s

View workflow file

Initial commit

Lean Action CI #2:Commit 55e9632ed8 pushed by kebekus

main

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

0s

View workflow file

Initial commit

Create Release #1:Commit 55e9632ed8 pushed by kebekus

main

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

0s

View workflow file