Skip to content

Actions: crytic/echidna

Actions

Docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove PropertyRepro.sol pragma Docker #613: Commit 7cbb32f pushed by elopez
22m 24s v2.3.2
v2.3.2
22m 24s
Remove PropertyRepro.sol pragma Docker #612: Commit 7cbb32f pushed by elopez
25m 28s master
master
25m 28s
Echidna 2.3.2 Docker #611: Commit e021daa pushed by elopez
30m 4s master
master
30m 4s
Generate Foundry reproducers in property mode (#1546) Docker #610: Commit 21c2e75 pushed by gustavo-grieco
29m 56s master
master
29m 56s
ci: add least-privilege permissions to all workflows Docker #609: Commit b2f55de pushed by elopez
29m 20s master
master
29m 20s
Update hevm to 8da7ea44ebf5524dce65b14e70cee1a4413eb6f0 Docker #608: Commit 115b104 pushed by elopez
29m 2s master
master
29m 2s
build(deps): bump cachix/cachix-action from 16 to 17 (#1542) Docker #607: Commit adc898a pushed by elopez
29m 18s master
master
29m 18s
shrink when a test was interrupted (#1535) Docker #606: Commit d7c7786 pushed by elopez
29m 23s master
master
29m 23s
Allow configuring zero delay (#1541) Docker #605: Commit 1cc7120 pushed by elopez
32m 39s master
master
32m 39s
Detect when a property/optimization is invalid (#1536) Docker #604: Commit 6e589d4 pushed by gustavo-grieco
29m 53s master
master
29m 53s
build(deps): bump docker/login-action from 3 to 4 (#1539) Docker #603: Commit 8e8bb5d pushed by elopez
29m 9s master
master
29m 9s
build(deps): bump softprops/action-gh-release from 2.5.0 to 2.6.1 (#1… Docker #602: Commit 958921f pushed by elopez
28m 43s master
master
28m 43s
tests: foundry: relax compiler pragma (#1534) Docker #601: Commit c010ea5 pushed by gustavo-grieco
28m 49s master
master
28m 49s
Improve identification of CBOR bytecode metadata (#1506) Docker #600: Commit 4974580 pushed by gustavo-grieco
32m 34s master
master
32m 34s
Improved support for foundry tests (#1499) Docker #599: Commit e899c10 pushed by gustavo-grieco
30m 31s master
master
30m 31s
build(deps): bump actions/upload-artifact from 6 to 7 (#1527) Docker #598: Commit 75ec222 pushed by elopez
31m 3s master
master
31m 3s
build(deps): bump actions/download-artifact from 7 to 8 (#1526) Docker #597: Commit df257b9 pushed by elopez
32m 23s master
master
32m 23s
build(deps): bump docker/metadata-action from 5 to 6 (#1531) Docker #596: Commit 7bb2d08 pushed by elopez
33m 19s master
master
33m 19s
build(deps): bump docker/setup-buildx-action from 3 to 4 (#1532) Docker #595: Commit 460d17c pushed by elopez
32m 19s master
master
32m 19s
build(deps): bump docker/build-push-action from 6 to 7 (#1533) Docker #594: Commit 72f5033 pushed by elopez
33m 38s master
master
33m 38s
Etherscan: add support for multiple files (#1520) Docker #593: Commit f946d36 pushed by gustavo-grieco
25m 30s master
master
25m 30s
Update open source address (#1524) Docker #592: Commit fc6a416 pushed by gustavo-grieco
29m 26s master
master
29m 26s
Update hevm to 41e6d1304411749ea8c816d131991663b5dca67a (#1519) Docker #591: Commit 5ab7bc0 pushed by elopez
29m 56s master
master
29m 56s
fix Docker #590: Commit 9739c03 pushed by gustavo-grieco
28m 40s v2.3.2-agents-preview-1
v2.3.2-agents-preview-1
28m 40s
Echidna 2.3.1 (#1517) Docker #589: Commit cde590f pushed by elopez
29m 41s v2.3.1
v2.3.1
29m 41s