Skip to content

Actions: leanEthereum/leanVM

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
1,400 workflow runs
1,400 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix readme Rust #1431: Commit a386121 pushed by TomWambsgans
5m 53s main
main
5m 53s
wip (#270) Rust #1430: Commit 58ba17d pushed by TomWambsgans
1m 34s main
main
1m 34s
wip Rust #1429: Pull request #270 opened by TomWambsgans
5m 0s fix-readme
fix-readme
5m 0s
fix comment Rust #1428: Commit 5a4f55c pushed by TomWambsgans
5m 0s main
main
5m 0s
ci: restore the fmt gate, split the jobs, and pin the ISA Rust #1427: Commit 5f86fb5 pushed by TomWambsgans
3m 29s main
main
3m 29s
snark_lib: declare blake2s md= Rust #1426: Commit 73a5f5d pushed by TomWambsgans
5m 38s main
main
5m 38s
commit the doc (pdf) instead of relying on github CI Rust #1425: Commit 1594657 pushed by TomWambsgans
8m 57s main
main
8m 57s
comit the doc (pdf) instead of relying on github CI Rust #1424: Commit 5c855fb pushed by TomWambsgans
1m 37s main
main
1m 37s
chore(do not merge): aggregate API Rust #1423: Pull request #267 synchronize by kevaundray
10m 31s kevaundray:feat/lean-sig
kevaundray:feat/lean-sig
10m 31s
fp: force the initial frame pointer to be in range [0, memory_size) Rust #1422: Commit 98cb2ad pushed by TomWambsgans
7m 3s main
main
7m 3s
chore(do not merge): aggregate API Rust #1421: Pull request #267 synchronize by kevaundray
11m 31s kevaundray:feat/lean-sig
kevaundray:feat/lean-sig
11m 31s
chore(do not merge): aggregate API Rust #1420: Pull request #267 synchronize by kevaundray
12m 3s kevaundray:feat/lean-sig
kevaundray:feat/lean-sig
12m 3s
fix(poly): drop wrong packing-width assert on the middle eval slice (… Rust #1419: Commit a527bcf pushed by TomWambsgans
7m 1s main
main
7m 1s
fix(poly): drop wrong packing-width assert on the middle eval slice Rust #1418: Pull request #266 synchronize by TomWambsgans
6m 38s kevaundray:fix/eq-mle-short-middle-slice
kevaundray:fix/eq-mle-short-middle-slice
6m 38s
fix(poly): drop wrong packing-width assert on the middle eval slice Rust #1417: Pull request #266 synchronize by TomWambsgans
6m 25s kevaundray:fix/eq-mle-short-middle-slice
kevaundray:fix/eq-mle-short-middle-slice
6m 25s
chore(do not merge): aggregate API Rust #1416: Pull request #267 synchronize by kevaundray
10m 30s kevaundray:feat/lean-sig
kevaundray:feat/lean-sig
10m 30s
chore(do not merge): aggregate API Rust #1415: Pull request #267 synchronize by kevaundray
8m 7s kevaundray:feat/lean-sig
kevaundray:feat/lean-sig
8m 7s
chore(do not merge): aggregate API Rust #1414: Pull request #267 synchronize by kevaundray
10m 42s kevaundray:feat/lean-sig
kevaundray:feat/lean-sig
10m 42s
chore(do not merge): aggregate API Rust #1413: Pull request #267 synchronize by kevaundray
11m 11s kevaundray:feat/lean-sig
kevaundray:feat/lean-sig
11m 11s
chore(do not merge): aggregate API Rust #1412: Pull request #267 opened by kevaundray
12m 7s kevaundray:feat/lean-sig
kevaundray:feat/lean-sig
12m 7s
fix(poly): drop wrong packing-width assert on the middle eval slice Rust #1411: Pull request #266 opened by kevaundray
7m 48s kevaundray:fix/eq-mle-short-middle-slice
kevaundray:fix/eq-mle-short-middle-slice
7m 48s
spec: prove that a balanced bus implies memory and bytecode consistency Rust #1410: Commit 83100ae pushed by TomWambsgans
6m 47s main
main
6m 47s
spec: update max table heights from 2^21 to 2^22 Rust #1409: Commit bbe2114 pushed by TomWambsgans
7m 27s main
main
7m 27s
perf(xmss): derive WOTS public keys only during key generation Rust #1408: Pull request #265 opened by exocognosis
30d 0h 0m 24s exocognosis:agent/avoid-wots-public-key-recomputation
exocognosis:agent/avoid-wots-public-key-recomputation
30d 0h 0m 24s
update versionfrom 0.8.0 to 0.9.0 in minimal_zkVM.tex Rust #1407: Commit a5909d1 pushed by TomWambsgans
7m 20s main
main
7m 20s