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

#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

#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

#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

#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

#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

#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

#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

#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

#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

#12:Commit 4e97dd4028 pushed by leopold

main

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

0s

View workflow file

Added expand_parts_element macro

#11:Commit 80db88efbe pushed by leopold

main

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

0s

View workflow file

Added expand_parts_element macro

#10:Commit 58c093b18d pushed by leopold

main

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

0s

View workflow file

Added expand_parts_element macro

#9:Commit 4732515f78 pushed by leopold

main

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

0s

View workflow file

Added expand_parts_element macro

#8:Commit 2c84c4a975 pushed by leopold

main

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

0s

View workflow file

Added expand_parts_element macro

#7:Commit 0f017b08b5 pushed by leopold

main

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

0s

View workflow file

Simplified proofs in NS_Public

#6:Commit 7367681bc6 pushed by leopold

main

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

0s

View workflow file

Finished proff of NS

#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

#4:Commit 31e638dd90 pushed by leopold

main

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

0s

View workflow file

Translated library Event

#3:Commit 61616dc3b1 pushed by leopold

main

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

0s

View workflow file

Translated Paulson's Message library

#2:Commit 2c7e00905a pushed by leopold

main

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

0s

View workflow file

Set up project

#1:Commit f25a2dda4e pushed by leopold

main

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

0s

View workflow file