Skip to content

Actions: reilabs/lampe

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
648 workflow runs
648 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

impl block extraction fixed (#66) CI #648: Commit ce7ff45 pushed by mpenciak
March 3, 2025 22:51 7m 36s main
main
March 3, 2025 22:51 7m 36s
random assortment of improvements CI #647: Commit dcd64b6 pushed by kustosz
March 3, 2025 18:16 4m 7s wip/mk/stuff
wip/mk/stuff
March 3, 2025 18:16 4m 7s
Noir Merkle Tree implementation CI #646: Pull request #56 synchronize by utkn
February 28, 2025 17:22 7m 29s us/nr-merkle-tree
us/nr-merkle-tree
February 28, 2025 17:22 7m 29s
Merge branch 'main' into us/nr-merkle-tree CI #645: Commit d2489b1 pushed by utkn
February 28, 2025 17:22 7m 13s us/nr-merkle-tree
us/nr-merkle-tree
February 28, 2025 17:22 7m 13s
remove max_heartbeats annotation CI #644: Commit d690c9d pushed by utkn
February 28, 2025 17:15 6m 46s us/nr-merkle-tree
us/nr-merkle-tree
February 28, 2025 17:15 6m 46s
even more concise CI #643: Commit 7546bfb pushed by utkn
February 28, 2025 17:14 6m 43s us/nr-merkle-tree
us/nr-merkle-tree
February 28, 2025 17:14 6m 43s
simplify the demo file CI #642: Commit e997dd2 pushed by utkn
February 28, 2025 17:05 7m 13s us/nr-merkle-tree
us/nr-merkle-tree
February 28, 2025 17:05 7m 13s
hashing converted into an axiom CI #641: Commit fcd097b pushed by utkn
February 28, 2025 16:57 7m 20s us/nr-merkle-tree
us/nr-merkle-tree
February 28, 2025 16:57 7m 20s
Proper consts (#65) CI #640: Commit 32aa28f pushed by utkn
February 28, 2025 13:37 8m 36s main
main
February 28, 2025 13:37 8m 36s
Bug fix in impl block extraction CI #639: Pull request #66 opened by utkn
February 28, 2025 12:26 8m 18s us/impl-generic-extraction-bug
us/impl-generic-extraction-bug
February 28, 2025 12:26 8m 18s
bug fixed CI #638: Commit 78c726e pushed by utkn
February 28, 2025 12:21 8m 31s us/impl-generic-extraction-bug
us/impl-generic-extraction-bug
February 28, 2025 12:21 8m 31s
some changes for decoupled hash CI #637: Commit 129b386 pushed by utkn
February 28, 2025 12:06 7m 14s us/nr-merkle-tree
us/nr-merkle-tree
February 28, 2025 12:06 7m 14s
casts added back to the index arguments CI #636: Commit ed3f877 pushed by utkn
February 27, 2025 17:08 7m 34s us/nr-merkle-tree
us/nr-merkle-tree
February 27, 2025 17:08 7m 34s
got rid of sorrys CI #635: Commit 00dfc44 pushed by utkn
February 27, 2025 10:37 7m 4s us/nr-merkle-tree
us/nr-merkle-tree
February 27, 2025 10:37 7m 4s
make the proof more generic wrt the hash function CI #634: Commit 3e8bb8a pushed by utkn
February 27, 2025 10:35 7m 2s us/nr-merkle-tree
us/nr-merkle-tree
February 27, 2025 10:35 7m 2s
subproofs complete CI #633: Commit 814ca41 pushed by utkn
February 26, 2025 18:27 7m 8s us/nr-merkle-tree
us/nr-merkle-tree
February 26, 2025 18:27 7m 8s
subproof progress CI #632: Commit 6638937 pushed by utkn
February 26, 2025 15:02 7m 26s us/nr-merkle-tree
us/nr-merkle-tree
February 26, 2025 15:02 7m 26s
main proof done. sub proofs to be completed CI #631: Commit 13707d5 pushed by utkn
February 26, 2025 10:28 7m 50s us/nr-merkle-tree
us/nr-merkle-tree
February 26, 2025 10:28 7m 50s
proof progress CI #630: Commit e53afa5 pushed by utkn
February 25, 2025 19:13 3m 45s us/nr-merkle-tree
us/nr-merkle-tree
February 25, 2025 19:13 3m 45s
proof improvements CI #629: Commit 4736080 pushed by utkn
February 24, 2025 17:21 3m 58s us/nr-merkle-tree
us/nr-merkle-tree
February 24, 2025 17:21 3m 58s
uXor CI #628: Commit 6e9f1c1 pushed by mpenciak
February 24, 2025 15:02 7m 59s mp/bitwise_builtins
mp/bitwise_builtins
February 24, 2025 15:02 7m 59s
some proof progress by mostly making things concrete CI #627: Commit 2aaa6cd pushed by utkn
February 21, 2025 20:16 4m 24s us/nr-merkle-tree
us/nr-merkle-tree
February 21, 2025 20:16 4m 24s
Proper consts CI #626: Pull request #65 synchronize by utkn
February 21, 2025 19:21 7m 49s us/nat-generics-improvements
us/nat-generics-improvements
February 21, 2025 19:21 7m 49s
fixed up lib.rs a bit. CI #625: Commit a64b5bc pushed by utkn
February 21, 2025 19:21 7m 33s us/nat-generics-improvements
us/nat-generics-improvements
February 21, 2025 19:21 7m 33s
uNot CI #624: Commit 78bbd12 pushed by mpenciak
February 21, 2025 17:58 7m 34s mp/bitwise_builtins
mp/bitwise_builtins
February 21, 2025 17:58 7m 34s