Skip to content

Actions: leanEthereum/leanVM-b

Actions

Spec PDF

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pdf.yml
8 workflow runs
8 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
compiler: harden BLAKE3 chaining lowering Spec PDF #8: Commit b788b1c pushed by TomWambsgans
2m 4s main
main
2m 4s
Merge pull request #2 from leanEthereum/recursion Spec PDF #7: Commit 14ed788 pushed by TomWambsgans
1m 32s main
main
1m 32s
Merge branch 'immediate-jump': direct-target JUMP Spec PDF #6: Commit b258a26 pushed by TomWambsgans
1m 28s main
main
1m 28s
Merge branch 'improve-blake-opcode': flexible BLAKE3 operands Spec PDF #5: Commit e69e809 pushed by TomWambsgans
2m 49s main
main
2m 49s
match Spec PDF #4: Commit 33da10d pushed by TomWambsgans
2m 14s main
main
2m 14s
doc Spec PDF #3: Commit cfffa43 pushed by TomWambsgans
2m 44s main
main
2m 44s
Merge pull request #1 from leanEthereum/blake3 Spec PDF #2: Commit 7d941ac pushed by TomWambsgans
1m 29s main
main
1m 29s
first commit Spec PDF #1: Commit cdb1971 pushed by TomWambsgans
1m 17s main
main
1m 17s