Skip to content

Actions: crytic/echidna

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
570 workflow run results
570 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add CLI command to generate sample config Nix #1029: Pull request #1100 opened by arcz
July 22, 2023 14:13 17m 2s init-config
init-config
July 22, 2023 14:13 17m 2s
Echidna 2.2.1 (#1099) Docker #340: Commit 21e6e52 pushed by arcz
July 20, 2023 16:20 31m 47s v2.2.1
v2.2.1
July 20, 2023 16:20 31m 47s
Echidna 2.2.1 (#1099) HLint #1657: Commit 21e6e52 pushed by arcz
July 20, 2023 16:17 56s master
master
July 20, 2023 16:17 56s
Echidna 2.2.1 (#1099) Docker #339: Commit 21e6e52 pushed by arcz
July 20, 2023 16:17 33m 48s master
master
July 20, 2023 16:17 33m 48s
Echidna 2.2.1 (#1099) Nix #1028: Commit 21e6e52 pushed by arcz
July 20, 2023 16:17 20m 29s master
master
July 20, 2023 16:17 20m 29s
Echidna 2.2.1 (#1099) CI #1605: Commit 21e6e52 pushed by arcz
July 20, 2023 16:17 4m 54s master
master
July 20, 2023 16:17 4m 54s
Echidna 2.2.1 (#1099) Action #831: Commit 21e6e52 pushed by arcz
July 20, 2023 16:17 33s master
master
July 20, 2023 16:17 33s
Echidna 2.2.1 CI #1604: Pull request #1099 opened by arcz
July 20, 2023 11:36 5m 56s 2.2.1
2.2.1
July 20, 2023 11:36 5m 56s
Echidna 2.2.1 Nix #1027: Pull request #1099 opened by arcz
July 20, 2023 11:36 19m 21s 2.2.1
2.2.1
July 20, 2023 11:36 19m 21s
Echidna 2.2.1 Action #830: Pull request #1099 opened by arcz
July 20, 2023 11:36 32s 2.2.1
2.2.1
July 20, 2023 11:36 32s
Echidna 2.2.1 HLint #1656: Pull request #1099 opened by arcz
July 20, 2023 11:36 57s 2.2.1
2.2.1
July 20, 2023 11:36 57s
Bring back loading multiple combined JSON files (#1098) Action #829: Commit 7be4072 pushed by arcz
July 18, 2023 14:16 28s master
master
July 18, 2023 14:16 28s
Bring back loading multiple combined JSON files (#1098) Nix #1026: Commit 7be4072 pushed by arcz
July 18, 2023 14:16 17m 43s master
master
July 18, 2023 14:16 17m 43s
Bring back loading multiple combined JSON files (#1098) HLint #1655: Commit 7be4072 pushed by arcz
July 18, 2023 14:16 49s master
master
July 18, 2023 14:16 49s
Bring back loading multiple combined JSON files (#1098) Docker #338: Commit 7be4072 pushed by arcz
July 18, 2023 14:16 27m 19s master
master
July 18, 2023 14:16 27m 19s
Bring back loading multiple combined JSON files (#1098) CI #1603: Commit 7be4072 pushed by arcz
July 18, 2023 14:16 19m 26s master
master
July 18, 2023 14:16 19m 26s
Bring back loading multiple combined JSON files Action #828: Pull request #1098 synchronize by arcz
July 18, 2023 13:43 26s fix-hardhat
fix-hardhat
July 18, 2023 13:43 26s
Bring back loading multiple combined JSON files CI #1602: Pull request #1098 synchronize by arcz
July 18, 2023 13:43 21m 8s fix-hardhat
fix-hardhat
July 18, 2023 13:43 21m 8s
Bring back loading multiple combined JSON files Nix #1025: Pull request #1098 synchronize by arcz
July 18, 2023 13:43 18m 15s fix-hardhat
fix-hardhat
July 18, 2023 13:43 18m 15s
Bring back loading multiple combined JSON files HLint #1654: Pull request #1098 synchronize by arcz
July 18, 2023 13:43 49s fix-hardhat
fix-hardhat
July 18, 2023 13:43 49s
Bring back loading multiple combined JSON files HLint #1653: Pull request #1098 opened by arcz
July 18, 2023 13:40 59s fix-hardhat
fix-hardhat
July 18, 2023 13:40 59s
Bring back loading multiple combined JSON files Nix #1024: Pull request #1098 opened by arcz
July 18, 2023 13:40 17m 16s fix-hardhat
fix-hardhat
July 18, 2023 13:40 17m 16s
Bring back loading multiple combined JSON files CI #1601: Pull request #1098 opened by arcz
July 18, 2023 13:40 17m 52s fix-hardhat
fix-hardhat
July 18, 2023 13:40 17m 52s
Bring back loading multiple combined JSON files Action #827: Pull request #1098 opened by arcz
July 18, 2023 13:40 30s fix-hardhat
fix-hardhat
July 18, 2023 13:40 30s
Symbolic execution PoC Action #826: Pull request #1030 synchronize by arcz
July 17, 2023 11:50 29s symexec
symexec
July 17, 2023 11:50 29s
ProTip! You can narrow down the results and go further in time using created:<2023-07-17 or the other filters available.