Skip to content

Actions: ethereum/hevm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,541 workflow runs
1,541 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add test to expose a bug in our checking of Expr equivalence for CopySlice Build #2738: Pull request #569 opened by blishko
September 26, 2024 15:46 28m 22s check-equivalence-bug
check-equivalence-bug
September 26, 2024 15:46 28m 22s
Implement setEnv and env{Bool,Uint,Int,Address,Bytes32,String,Bytes} Build #2737: Pull request #568 synchronize by elopez
September 25, 2024 11:17 28m 57s elopez:more-cheatcodes-2
elopez:more-cheatcodes-2
September 25, 2024 11:17 28m 57s
Implement setEnv and env{Bool,Uint,Int,Address,Bytes32,String,Bytes} Build #2736: Pull request #568 synchronize by elopez
September 24, 2024 16:39 21m 29s elopez:more-cheatcodes-2
elopez:more-cheatcodes-2
September 24, 2024 16:39 21m 29s
Implement setEnv and env{Bool,Uint,Int,Address,Bytes32,String,Bytes} Build #2735: Pull request #568 opened by elopez
September 24, 2024 16:29 9m 59s elopez:more-cheatcodes-2
elopez:more-cheatcodes-2
September 24, 2024 16:29 9m 59s
Start a document for developers Build #2734: Pull request #559 synchronize by blishko
September 23, 2024 14:53 30m 0s developer-docs
developer-docs
September 23, 2024 14:53 30m 0s
[TODO] Cheatcodes TODOs Build #2733: Pull request #567 opened by msooseth
September 23, 2024 12:42 38m 2s implement_new_cheatcodes
implement_new_cheatcodes
September 23, 2024 12:42 38m 2s
Merge pull request #566 from ethereum/rename-storage2 Build #2732: Commit cf9fb24 pushed by msooseth
September 23, 2024 12:38 30m 3s main
main
September 23, 2024 12:38 30m 3s
Merge pull request #566 from ethereum/rename-storage2 Publish Documentation #293: Commit cf9fb24 pushed by msooseth
September 23, 2024 12:38 4m 14s main
main
September 23, 2024 12:38 4m 14s
Fixing capitalization of subState Build #2731: Pull request #566 opened by msooseth
September 23, 2024 11:49 20m 51s rename-storage2
rename-storage2
September 23, 2024 11:49 20m 51s
Merge pull request #560 from ethereum/fix-data-race Build #2730: Commit 89b6e3d pushed by msooseth
September 23, 2024 09:29 58m 9s main
main
September 23, 2024 09:29 58m 9s
Merge pull request #560 from ethereum/fix-data-race Publish Documentation #292: Commit 89b6e3d pushed by msooseth
September 23, 2024 09:29 4m 11s main
main
September 23, 2024 09:29 4m 11s
SymExec: fix data race for concurrent exploration Build #2729: Pull request #560 synchronize by msooseth
September 23, 2024 09:29 48m 13s fix-data-race
fix-data-race
September 23, 2024 09:29 48m 13s
pages build and deployment pages-build-deployment #8: by github-pages bot
September 23, 2024 09:23 48s
September 23, 2024 09:23 48s
Merge pull request #551 from ethereum/better-test-doc Build #2728: Commit 60ba550 pushed by msooseth
September 23, 2024 09:18 11m 19s main
main
September 23, 2024 09:18 11m 19s
Merge pull request #551 from ethereum/better-test-doc Publish Documentation #291: Commit 60ba550 pushed by msooseth
September 23, 2024 09:18 4m 16s main
main
September 23, 2024 09:18 4m 16s
Rename ds-test in our documentation to std-test + explain concrete starting state Build #2727: Pull request #551 synchronize by msooseth
September 23, 2024 09:16 7m 32s better-test-doc
better-test-doc
September 23, 2024 09:16 7m 32s
Merge pull request #555 from ethereum/allow-multithread-test Publish Documentation #290: Commit 7273b8a pushed by msooseth
September 23, 2024 09:04 4m 5s main
main
September 23, 2024 09:04 4m 5s
Merge pull request #555 from ethereum/allow-multithread-test Build #2726: Commit 7273b8a pushed by msooseth
September 23, 2024 09:04 15m 17s main
main
September 23, 2024 09:04 15m 17s
Trying to fix multi-threaded test running Build #2725: Pull request #555 synchronize by msooseth
September 23, 2024 09:02 29m 17s allow-multithread-test
allow-multithread-test
September 23, 2024 09:02 29m 17s
[DRAFT] Preliminary dynamic ABI types Build #2724: Pull request #565 opened by msooseth
September 23, 2024 08:59 6h 0m 33s dynamic-abi-types
dynamic-abi-types
September 23, 2024 08:59 6h 0m 33s
Check Dependencies Check Dependencies #266: Scheduled
September 23, 2024 05:33 59s main
main
September 23, 2024 05:33 59s
Start a document for developers Build #2723: Pull request #559 synchronize by blishko
September 20, 2024 18:02 28m 11s developer-docs
developer-docs
September 20, 2024 18:02 28m 11s
EVM: respect vm.prank during calls to create Build #2722: Pull request #564 synchronize by d-xo
September 20, 2024 16:52 52m 23s fix-prank-create
fix-prank-create
September 20, 2024 16:52 52m 23s
EVM: respect vm.prank during calls to create Build #2721: Pull request #564 opened by d-xo
September 20, 2024 12:04 27m 6s fix-prank-create
fix-prank-create
September 20, 2024 12:04 27m 6s
Merge pull request #562 from ethereum/smt-encoding-optimizations Publish Documentation #289: Commit c873b91 pushed by blishko
September 19, 2024 12:18 4m 21s main
main
September 19, 2024 12:18 4m 21s