Skip to content

Actions: Consensys/evm-dafny

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

feat: add examples for tstore tload build #577: Pull request #651 synchronize by DavePearce
October 17, 2024 16:16 19m 29s 642-add-examples-for-tstore-tload
642-add-examples-for-tstore-tload
October 17, 2024 16:16 19m 29s
feat: add examples for tstore tload build #576: Pull request #651 opened by DavePearce
October 17, 2024 16:13 19m 0s 642-add-examples-for-tstore-tload
642-add-examples-for-tstore-tload
October 17, 2024 16:13 19m 0s
Merge pull request #649 from Consensys/648-fix-generalstatetests build #575: Commit c0bdb9c pushed by DavePearce
October 9, 2024 16:48 17m 51s master
master
October 9, 2024 16:48 17m 51s
Fix filter in GeneralStateTests build #574: Pull request #649 opened by DavePearce
October 9, 2024 14:14 17m 38s 648-fix-generalstatetests
648-fix-generalstatetests
October 9, 2024 14:14 17m 38s
Merge pull request #647 from Consensys/646-update-to-dafny-481 build #573: Commit d57182b pushed by DavePearce
October 9, 2024 14:07 14m 26s master
master
October 9, 2024 14:07 14m 26s
Updating to Dafny 4.8.1 build #572: Pull request #647 synchronize by DavePearce
October 9, 2024 13:19 14m 15s 646-update-to-dafny-481
646-update-to-dafny-481
October 9, 2024 13:19 14m 15s
Updating to Dafny 4.8.1 build #571: Pull request #647 synchronize by DavePearce
October 9, 2024 11:46 14m 36s 646-update-to-dafny-481
646-update-to-dafny-481
October 9, 2024 11:46 14m 36s
Updating to Dafny 4.8.1 build #570: Pull request #647 synchronize by DavePearce
October 9, 2024 11:19 4m 22s 646-update-to-dafny-481
646-update-to-dafny-481
October 9, 2024 11:19 4m 22s
Updating to Dafny 4.8.1 build #569: Pull request #647 synchronize by DavePearce
October 9, 2024 10:45 24m 11s 646-update-to-dafny-481
646-update-to-dafny-481
October 9, 2024 10:45 24m 11s
Updating to Dafny 4.8.1 build #568: Pull request #647 opened by DavePearce
October 9, 2024 10:10 4m 48s 646-update-to-dafny-481
646-update-to-dafny-481
October 9, 2024 10:10 4m 48s
Merge pull request #645 from Consensys/644-add-missing-tstore-tload-t… build #567: Commit 37b6385 pushed by DavePearce
July 23, 2024 23:25 18m 38s master
master
July 23, 2024 23:25 18m 38s
feat: Add missing tests for TSTORE / TLOAD build #566: Pull request #645 opened by DavePearce
July 23, 2024 22:44 18m 22s 644-add-missing-tstore-tload-tests
644-add-missing-tstore-tload-tests
July 23, 2024 22:44 18m 22s
Merge pull request #643 from Consensys/641-support-eip1159-transactio… build #565: Commit 02f1875 pushed by DavePearce
July 15, 2024 03:13 18m 34s master
master
July 15, 2024 03:13 18m 34s
Support EIP1159 Transaction Types build #564: Pull request #643 synchronize by DavePearce
July 15, 2024 02:54 18m 17s 641-support-eip1159-transaction-types
641-support-eip1159-transaction-types
July 15, 2024 02:54 18m 17s
Support EIP1159 Transaction Types build #563: Pull request #643 synchronize by DavePearce
July 15, 2024 02:49 17m 21s 641-support-eip1159-transaction-types
641-support-eip1159-transaction-types
July 15, 2024 02:49 17m 21s
Support EIP1159 Transaction Types build #562: Pull request #643 synchronize by DavePearce
July 15, 2024 02:12 17m 39s 641-support-eip1159-transaction-types
641-support-eip1159-transaction-types
July 15, 2024 02:12 17m 39s
Support EIP1159 Transaction Types build #561: Pull request #643 opened by DavePearce
July 15, 2024 02:05 3m 59s 641-support-eip1159-transaction-types
641-support-eip1159-transaction-types
July 15, 2024 02:05 3m 59s
Configure Renovate build #560: Pull request #640 opened by renovate bot
June 24, 2024 13:27 18m 45s renovate/configure
renovate/configure
June 24, 2024 13:27 18m 45s
Merge pull request #639 from Consensys/638-add-missing-int-constants build #559: Commit 19998bc pushed by DavePearce
May 19, 2024 23:34 18m 45s master
master
May 19, 2024 23:34 18m 45s
Add Missing Constants build #558: Pull request #639 opened by DavePearce
May 19, 2024 23:04 18m 35s 638-add-missing-int-constants
638-add-missing-int-constants
May 19, 2024 23:04 18m 35s
Merge pull request #637 from Consensys/remove-go build #557: Commit f529900 pushed by hmijail
February 6, 2024 12:40 20m 5s master
master
February 6, 2024 12:40 20m 5s
Remove go build #556: Pull request #637 opened by hmijail
February 6, 2024 12:16 20m 16s remove-go
remove-go
February 6, 2024 12:16 20m 16s
Merge pull request #636 from Consensys/634-implement-tload-tstore build #555: Commit 2338bd1 pushed by DavePearce
January 19, 2024 03:52 19m 20s master
master
January 19, 2024 03:52 19m 20s
634 implement tload tstore build #554: Pull request #636 synchronize by DavePearce
January 19, 2024 02:53 17m 10s 634-implement-tload-tstore
634-implement-tload-tstore
January 19, 2024 02:53 17m 10s
634 implement tload tstore build #553: Pull request #636 synchronize by DavePearce
January 19, 2024 02:28 17m 2s 634-implement-tload-tstore
634-implement-tload-tstore
January 19, 2024 02:28 17m 2s