Skip to content

Actions: crytic/echidna

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bring back loading multiple combined JSON files (#1098)
Docker #338: Commit 7be4072 pushed by arcz
July 18, 2023 14:16 27m 19s 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
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
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
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
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
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
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
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
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
July 18, 2023 13:40 30s
Symbolic execution PoC
Action #826: Pull request #1030 synchronize by arcz
July 17, 2023 11:50 29s symexec
July 17, 2023 11:50 29s
Symbolic execution PoC
CI #1600: Pull request #1030 synchronize by arcz
July 17, 2023 11:50 18m 40s symexec
July 17, 2023 11:50 18m 40s
Symbolic execution PoC
HLint #1652: Pull request #1030 synchronize by arcz
July 17, 2023 11:50 48s symexec
July 17, 2023 11:50 48s
Symbolic execution PoC
Nix #1023: Pull request #1030 synchronize by arcz
July 17, 2023 11:50 18m 57s symexec
July 17, 2023 11:50 18m 57s
Update to GHC 9.4
HLint #1651: Pull request #1096 reopened by siraben
July 17, 2023 11:36 53s ghc-9.4
July 17, 2023 11:36 53s
Update to GHC 9.4
Action #825: Pull request #1096 reopened by siraben
July 17, 2023 11:36 28s ghc-9.4
July 17, 2023 11:36 28s
Update to GHC 9.4
CI #1599: Pull request #1096 reopened by siraben
July 17, 2023 11:36 32m 43s ghc-9.4
July 17, 2023 11:36 32m 43s
Update to GHC 9.4
Nix #1022: Pull request #1096 reopened by siraben
July 17, 2023 11:36 16m 29s ghc-9.4
July 17, 2023 11:36 16m 29s
Update to GHC 9.4
CI #1598: Pull request #1096 opened by arcz
July 17, 2023 10:18 7s ghc-9.4
July 17, 2023 10:18 7s
Update to GHC 9.4
Nix #1021: Pull request #1096 opened by arcz
July 17, 2023 10:18 17m 56s ghc-9.4
July 17, 2023 10:18 17m 56s
Update to GHC 9.4
HLint #1650: Pull request #1096 opened by arcz
July 17, 2023 10:18 50s ghc-9.4
July 17, 2023 10:18 50s
Update to GHC 9.4
Action #824: Pull request #1096 opened by arcz
July 17, 2023 10:18 33s ghc-9.4
July 17, 2023 10:18 33s
Update hevm to 0.51.3 (#1090)
HLint #1649: Commit f4dfed2 pushed by arcz
July 17, 2023 08:43 57s master
July 17, 2023 08:43 57s
Update hevm to 0.51.3 (#1090)
Action #823: Commit f4dfed2 pushed by arcz
July 17, 2023 08:43 33s master
July 17, 2023 08:43 33s
Update hevm to 0.51.3 (#1090)
CI #1597: Commit f4dfed2 pushed by arcz
July 17, 2023 08:43 47m 10s master
July 17, 2023 08:43 47m 10s