Skip to content

Actions: Pi-Squared-Inc/evm-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update test-pr.yml (#21) Test PR #90: Commit 097a36b pushed by Robertorosmaninho
February 10, 2025 19:49 28m 57s master-update
master-update
February 10, 2025 19:49 28m 57s
Update test-pr.yml (#21) Test PR #89: Commit 6437fba pushed by Robertorosmaninho
January 31, 2025 20:20 12m 54s master-update
master-update
January 31, 2025 20:20 12m 54s
Update test-pr.yml (#21) Test PR #88: Commit 0cfbd64 pushed by Robertorosmaninho
January 31, 2025 18:22 12m 26s master-update
master-update
January 31, 2025 18:22 12m 26s
remove some nondeterminism in driver.md (#22) Test PR #87: Commit 521c0cc pushed by Robertorosmaninho
January 31, 2025 03:45 9m 1s master-update
master-update
January 31, 2025 03:45 9m 1s
Update test-pr.yml (#21) Test PR #86: Commit 0cfbd64 pushed by Robertorosmaninho
January 31, 2025 03:33 11m 18s master-update
master-update
January 31, 2025 03:33 11m 18s
remove some nondeterminism in driver.md (#22) Test PR #85: Commit 0a681b5 pushed by Robertorosmaninho
January 31, 2025 03:18 9m 12s master-update
master-update
January 31, 2025 03:18 9m 12s
remove some nondeterminism in driver.md (#22) Test PR #84: Commit 55ee916 pushed by Robertorosmaninho
January 31, 2025 02:06 11m 6s master-update
master-update
January 31, 2025 02:06 11m 6s
remove some nondeterminism in driver.md (#22) Test PR #83: Commit bf2bea8 pushed by Robertorosmaninho
January 31, 2025 01:49 46s master-update
master-update
January 31, 2025 01:49 46s
remove some nondeterminism in driver.md (#22) Test PR #82: Commit 0086919 pushed by Robertorosmaninho
January 28, 2025 17:36 8m 53s master-update
master-update
January 28, 2025 17:36 8m 53s
remove some nondeterminism in driver.md Test PR #81: Pull request #22 opened by dwightguth
November 27, 2024 19:17 18m 11s remove-duplicates
remove-duplicates
November 27, 2024 19:17 18m 11s
Update test-pr.yml Test PR #80: Pull request #21 synchronize by jbhanot18
November 24, 2024 15:14 1h 4m 45s update-sh-runner
update-sh-runner
November 24, 2024 15:14 1h 4m 45s
Update test-pr.yml Test PR #79: Pull request #21 opened by jbhanot18
November 22, 2024 16:13 46s update-sh-runner
update-sh-runner
November 22, 2024 16:13 46s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #78: Pull request #20 synchronize by Robertorosmaninho
October 16, 2024 15:30 16m 52s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 16, 2024 15:30 16m 52s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #77: Pull request #20 synchronize by Robertorosmaninho
October 16, 2024 14:54 17m 5s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 16, 2024 14:54 17m 5s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #76: Pull request #20 synchronize by Robertorosmaninho
October 16, 2024 14:52 1m 30s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 16, 2024 14:52 1m 30s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #75: Pull request #20 synchronize by Robertorosmaninho
October 15, 2024 18:29 16m 57s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 15, 2024 18:29 16m 57s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #74: Pull request #20 synchronize by Robertorosmaninho
October 15, 2024 18:23 5m 54s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 15, 2024 18:23 5m 54s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #73: Pull request #20 synchronize by Robertorosmaninho
October 15, 2024 18:09 14m 9s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 15, 2024 18:09 14m 9s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #72: Pull request #20 synchronize by Robertorosmaninho
October 15, 2024 18:02 7m 31s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 15, 2024 18:02 7m 31s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #71: Pull request #20 synchronize by Robertorosmaninho
October 15, 2024 17:58 33s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 15, 2024 17:58 33s
Introducing summary for #loadProgram to avoid computing #computeValidJumpDests(PGM) Test PR #70: Pull request #20 opened by Robertorosmaninho
October 15, 2024 15:12 7m 46s Introducing-summary-for-loadProgram
Introducing-summary-for-loadProgram
October 15, 2024 15:12 7m 46s
Uniswap sqrt eth test summary Test PR #69: Pull request #18 synchronize by ovatman
October 2, 2024 12:35 16m 4s uniswap-sqrt-eth-test-summary
uniswap-sqrt-eth-test-summary
October 2, 2024 12:35 16m 4s
Uniswap sqrt eth test summary Test PR #68: Pull request #18 synchronize by ovatman
October 2, 2024 12:30 5m 31s uniswap-sqrt-eth-test-summary
uniswap-sqrt-eth-test-summary
October 2, 2024 12:30 5m 31s
Uniswap sqrt eth test summary Test PR #67: Pull request #18 synchronize by ovatman
October 1, 2024 13:59 16m 8s uniswap-sqrt-eth-test-summary
uniswap-sqrt-eth-test-summary
October 1, 2024 13:59 16m 8s
Uniswap sqrt eth test summary Test PR #66: Pull request #18 synchronize by ovatman
October 1, 2024 13:57 1m 34s uniswap-sqrt-eth-test-summary
uniswap-sqrt-eth-test-summary
October 1, 2024 13:57 1m 34s