All Workflows lean_action_ci.yml

21 workflow runs

Actor

All actors leopold

Status

All status Success Failure Waiting Running

Proved basic properties of Blanchet protocol

lean_action_ci.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #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.yml #1:Commit f25a2dda4e pushed by leopold

main

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

0s

View workflow file