All Workflows Lean Action CI

21 workflow runs

Actor

All actors leopold

Status

All status Success Failure Canceled Skipped Waiting Running Blocked Canceling

Branch

All branches main

Proved basic properties of Blanchet protocol

Lean Action CI #21:Commit e41142896f pushed by leopold

main

2026-03-12 20:45:43 +01:00

0s

View workflow file

Replaced some cases instances with grind

Lean Action CI #20:Commit c705c80f23 pushed by leopold

main

2026-03-06 14:45:43 +01:00

0s

View workflow file

Replaced some cases instances with grind

Lean Action CI #19:Commit 70ab4d3c70 pushed by leopold

main

2026-03-05 13:20:59 +01:00

0s

View workflow file

Replaced some cases instances with grind

Lean Action CI #18:Commit 00542447b9 pushed by leopold

main

2026-03-05 13:16:18 +01:00

0s

View workflow file

Replaced some cases instances with grind

Lean Action CI #17:Commit 136780bfda pushed by leopold

main

2026-03-05 13:12:37 +01:00

0s

View workflow file

Replaced some cases instances with grind

Lean Action CI #16:Commit b5328b520b pushed by leopold

main

2026-03-05 12:59:27 +01:00

0s

View workflow file

Replaced some cases instances with grind

Lean Action CI #15:Commit 7324a942d9 pushed by leopold

main

2026-03-05 12:56:04 +01:00

0s

View workflow file

Replaced some cases instances with grind

Lean Action CI #14:Commit 6299c20d71 pushed by leopold

main

2026-03-05 10:32:13 +01:00

0s

View workflow file

Replaced some cases instances with grind

Lean Action CI #13:Commit 943525dfb5 pushed by leopold

main

2026-03-05 10:13:05 +01:00

0s

View workflow file

Replaced some cases instances with grind

Lean Action CI #12:Commit 4e97dd4028 pushed by leopold

main

2026-03-05 10:05:32 +01:00

0s

View workflow file

Added expand_parts_element macro

Lean Action CI #11:Commit 80db88efbe pushed by leopold

main

2026-03-05 10:02:53 +01:00

0s

View workflow file

Added expand_parts_element macro

Lean Action CI #10:Commit 58c093b18d pushed by leopold

main

2026-03-05 02:30:04 +01:00

0s

View workflow file

Added expand_parts_element macro

Lean Action CI #9:Commit 4732515f78 pushed by leopold

main

2026-03-05 02:05:14 +01:00

0s

View workflow file

Added expand_parts_element macro

Lean Action CI #8:Commit 2c84c4a975 pushed by leopold

main

2026-03-05 00:45:27 +01:00

0s

View workflow file

Added expand_parts_element macro

Lean Action CI #7:Commit 0f017b08b5 pushed by leopold

main

2026-03-04 19:12:31 +01:00

0s

View workflow file

Simplified proofs in NS_Public

Lean Action CI #6:Commit 7367681bc6 pushed by leopold

main

2026-03-04 18:44:53 +01:00

0s

View workflow file

Finished proff of NS

Lean Action CI #5:Commit 96e5d59603 pushed by leopold

main

2026-02-26 20:45:43 +01:00

0s

View workflow file

Translated library, started to prove NS_Public

Lean Action CI #4:Commit 31e638dd90 pushed by leopold

main

2026-02-24 14:45:43 +01:00

0s

View workflow file

Translated library Event

Lean Action CI #3:Commit 61616dc3b1 pushed by leopold

main

2026-01-18 15:15:34 +01:00

0s

View workflow file

Translated Paulson's Message library

Lean Action CI #2:Commit 2c7e00905a pushed by leopold

main

2026-01-16 21:15:34 +01:00

0s

View workflow file

Set up project

Lean Action CI #1:Commit f25a2dda4e pushed by leopold

main

2025-09-23 11:14:33 +02:00

0s

View workflow file