Skip to content

Actions: Verified-zkEVM/evm-asm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
refactor(sdiv): split div-call return posts Build #11636: Pull request #4005 opened by pirapira
In progress fix/sdiv-split-divcall-return-posts
fix/sdiv-split-divcall-return-posts
In progress
refactor(sdiv): split div-call return posts PR Summary #5931: Pull request #4005 opened by pirapira
In progress
In progress
Build Build #11635: Merge group checks requested
In progress
In progress
refactor(sdiv): extract div-call result-sign-fix named post PR Summary #5930: Pull request #4004 opened by pirapira
1m 41s
1m 41s
refactor(sdiv): extract div-call result-sign-fix named post Build #11634: Pull request #4004 opened by pirapira
In progress fix/sdiv-extract-divcall-resultsignfix-named-post
fix/sdiv-extract-divcall-resultsignfix-named-post
In progress
refactor(sdiv): extract bzero callable named post PR Summary #5929: Pull request #4003 opened by pirapira
2m 24s
2m 24s
refactor(sdiv): extract bzero callable named post Build #11633: Pull request #4003 opened by pirapira
13m 51s fix/sdiv-extract-bzero-callable-named-post
fix/sdiv-extract-bzero-callable-named-post
13m 51s
refactor(sdiv): extract result sign-fix owned preconditions PR Summary #5928: Pull request #4002 opened by pirapira
1m 42s
1m 42s
refactor(sdiv): extract result sign-fix owned preconditions Build #11632: Pull request #4002 opened by pirapira
13m 9s fix/sdiv-extract-result-sign-fix-own-pre
fix/sdiv-extract-result-sign-fix-own-pre
13m 9s
Merge pull request #3808 from Verified-zkEVM/fix/sdiv-dispatch-ready-… Build #11631: Commit 0b902ef pushed by github-merge-queue Bot
2m 5s main
main
2m 5s
refactor(sdiv): extract normalized div-call return composition PR Summary #5927: Pull request #4001 opened by pirapira
2m 6s
2m 6s
refactor(sdiv): extract normalized div-call return composition Build #11630: Pull request #4001 opened by pirapira
13m 31s fix/sdiv-extract-divcall-return-normalized
fix/sdiv-extract-divcall-return-normalized
13m 31s
Build Build #11629: Merge group checks requested
1m 53s
1m 53s
Build Build #11628: Merge group checks requested
2m 15s
2m 15s
refactor(sdiv): extract generic div-call return composition Build #11627: Pull request #4000 opened by pirapira
12m 55s fix/sdiv-extract-divcall-return-generic
fix/sdiv-extract-divcall-return-generic
12m 55s
refactor(sdiv): extract generic div-call return composition PR Summary #5926: Pull request #4000 opened by pirapira
2m 31s
2m 31s
refactor(sdiv): extract div-call postcondition view Build #11626: Pull request #3999 opened by pirapira
14m 3s fix/sdiv-extract-divcall-post-view
fix/sdiv-extract-divcall-post-view
14m 3s
refactor(sdiv): extract div-call postcondition view PR Summary #5925: Pull request #3999 opened by pirapira
2m 12s
2m 12s
Merge pull request #3806 from Verified-zkEVM/fix/sdiv-callable-return… Build #11625: Commit e4e3789 pushed by github-merge-queue Bot
1m 57s main
main
1m 57s
Merge pull request #3779 from Verified-zkEVM/fix/exp-two-mul-canonica… Build #11624: Commit ab10e53 pushed by github-merge-queue Bot
2m 2s main
main
2m 2s
Build Build #11623: Merge group checks requested
1m 57s
1m 57s
refactor(sdiv): extract div-call precondition view PR Summary #5924: Pull request #3998 opened by pirapira
2m 25s
2m 25s
refactor(sdiv): extract div-call precondition view Build #11622: Pull request #3998 opened by pirapira
13m 24s fix/sdiv-extract-divcall-pre-view
fix/sdiv-extract-divcall-pre-view
13m 24s
Build Build #11621: Merge group checks requested
2m 0s
2m 0s
refactor(sdiv): extract code handles Build #11620: Pull request #3997 opened by pirapira
12m 31s fix/sdiv-extract-code-handles
fix/sdiv-extract-code-handles
12m 31s