Skip to content

Actions: crytic/echidna

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
486 workflow runs
486 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial support for tstore/tload CI #1981: Pull request #1286 synchronize by samalws-tob
July 9, 2024 20:36 39m 46s tstore
tstore
July 9, 2024 20:36 39m 46s
Initial support for tstore/tload CI #1980: Pull request #1286 opened by ggrieco-tob
July 9, 2024 20:17 37m 40s tstore
tstore
July 9, 2024 20:17 37m 40s
coverage: count number of executions per line CI #1979: Pull request #1265 synchronize by elopez
July 9, 2024 12:44 41m 56s dev-cov-exec-counts
dev-cov-exec-counts
July 9, 2024 12:44 41m 56s
coverage: count number of executions per line CI #1978: Pull request #1265 synchronize by elopez
July 9, 2024 12:07 35m 52s dev-cov-exec-counts
dev-cov-exec-counts
July 9, 2024 12:07 35m 52s
coverage: count number of executions per line CI #1977: Pull request #1265 synchronize by elopez
July 8, 2024 18:19 42m 17s dev-cov-exec-counts
dev-cov-exec-counts
July 8, 2024 18:19 42m 17s
Refactors in Exec.hs CI #1976: Pull request #1282 synchronize by samalws-tob
July 8, 2024 14:47 44m 10s simplifyExecTx
simplifyExecTx
July 8, 2024 14:47 44m 10s
show trace on UnknownFailure (#1283) CI #1975: Commit bf14ea4 pushed by ggrieco-tob
July 8, 2024 13:36 34m 14s master
master
July 8, 2024 13:36 34m 14s
CI CI #1974: by ggrieco-tob
July 5, 2024 19:41 22m 36s master
master
July 5, 2024 19:41 22m 36s
Minor change for symExecTimeout comments CI #1973: Pull request #1285 opened by samalws-tob
July 5, 2024 19:03 42m 23s symExecCommentChange
symExecCommentChange
July 5, 2024 19:03 42m 23s
Shrink on one worker (#1280) CI #1972: Commit ec5a3c1 pushed by ggrieco-tob
July 5, 2024 13:16 42m 44s master
master
July 5, 2024 13:16 42m 44s
Fix MVar issue (#1281) CI #1971: Commit 43ae84e pushed by ggrieco-tob
July 5, 2024 11:33 21m 28s master
master
July 5, 2024 11:33 21m 28s
Show trace on UnknownFailure CI #1970: Pull request #1283 synchronize by samalws-tob
July 2, 2024 14:54 40m 37s showTraceOnError
showTraceOnError
July 2, 2024 14:54 40m 37s
Show trace on UnknownFailure CI #1969: Pull request #1283 synchronize by samalws-tob
July 2, 2024 14:22 20m 53s showTraceOnError
showTraceOnError
July 2, 2024 14:22 20m 53s
Show trace on UnknownFailure CI #1968: Pull request #1283 synchronize by samalws-tob
July 2, 2024 14:13 18m 25s showTraceOnError
showTraceOnError
July 2, 2024 14:13 18m 25s
Show trace on UnknownFailure CI #1967: Pull request #1283 synchronize by samalws-tob
July 2, 2024 13:34 45m 3s showTraceOnError
showTraceOnError
July 2, 2024 13:34 45m 3s
Show trace on UnknownFailure CI #1966: Pull request #1283 opened by samalws-tob
July 1, 2024 20:04 21m 38s showTraceOnError
showTraceOnError
July 1, 2024 20:04 21m 38s
Refactors in Exec.hs CI #1965: Pull request #1282 opened by samalws-tob
June 28, 2024 20:22 18m 19s simplifyExecTx
simplifyExecTx
June 28, 2024 20:22 18m 19s
Fix MVar issue CI #1964: Pull request #1281 opened by samalws-tob
June 27, 2024 18:56 32m 26s fixMVarIssue
fixMVarIssue
June 27, 2024 18:56 32m 26s
Shrink on one worker CI #1963: Pull request #1280 synchronize by arcz
June 27, 2024 15:22 49m 35s fix-shrink
fix-shrink
June 27, 2024 15:22 49m 35s
Shrink on one worker CI #1962: Pull request #1280 opened by arcz
June 27, 2024 12:17 19m 44s fix-shrink
fix-shrink
June 27, 2024 12:17 19m 44s
show gas/s (#1279) CI #1961: Commit 882c699 pushed by arcz
June 26, 2024 20:50 22m 6s master
master
June 26, 2024 20:50 22m 6s
Show gas per second in the UI CI #1960: Pull request #1279 opened by samalws-tob
June 26, 2024 18:14 49m 43s gasPerSecond
gasPerSecond
June 26, 2024 18:14 49m 43s
Bump softprops/action-gh-release from 2.0.5 to 2.0.6 (#1277) CI #1958: Commit 2c72579 pushed by arcz
June 25, 2024 11:28 4m 31s master
master
June 25, 2024 11:28 4m 31s
Bump softprops/action-gh-release from 2.0.5 to 2.0.6 CI #1957: Pull request #1277 opened by dependabot bot
June 24, 2024 21:17 41m 35s dependabot/github_actions/softprops/action-gh-release-2.0.6
dependabot/github_actions/softprops/action-gh-release-2.0.6
June 24, 2024 21:17 41m 35s
emit saved reproducer log message as event rather than putstrln (#1274) CI #1956: Commit 7953bd7 pushed by ggrieco-tob
June 21, 2024 11:56 21m 2s master
master
June 21, 2024 11:56 21m 2s