Skip to content

Actions: crytic/echidna

CI

Actions

Loading...
Loading

Showing runs from all workflows named CI
112 workflow run results
112 workflow run results

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Upgrade build to GHC 9.6 (#1245)
CI #2011: Commit 182580e pushed by ggrieco-tob
July 25, 2024 11:54 42m 26s master
July 25, 2024 11:54 42m 26s
Bump softprops/action-gh-release from 2.0.6 to 2.0.8 (#1295)
CI #2007: Commit a550094 pushed by arcz
July 23, 2024 09:03 5m 1s master
July 23, 2024 09:03 5m 1s
Bump DeterminateSystems/nix-installer-action from 12 to 13 (#1294)
CI #2006: Commit e7c17fe pushed by arcz
July 23, 2024 09:02 39m 14s master
July 23, 2024 09:02 39m 14s
July 18, 2024 12:00 4m 13s
Fix sigstore file attachments (#1292)
CI #2001: Commit f8deef5 pushed by elopez
July 16, 2024 15:21 34m 33s master
July 16, 2024 15:21 34m 33s
Echidna 2.2.4 (#1291)
CI #1999: Commit 84702aa pushed by elopez
July 16, 2024 14:20 48m 55s master
July 16, 2024 14:20 48m 55s
Raise default number of workers (#1288)
CI #1996: Commit 3b5d6d9 pushed by ggrieco-tob
July 16, 2024 12:08 4m 34s master
July 16, 2024 12:08 4m 34s
Docs improvement (#1278)
CI #1994: Commit 7fe4d40 pushed by elopez
July 16, 2024 08:23 41m 55s master
July 16, 2024 08:23 41m 55s
Fix typos (#1287)
CI #1993: Commit 6220064 pushed by elopez
July 16, 2024 08:20 39m 39s master
July 16, 2024 08:20 39m 39s
July 16, 2024 08:16 38m 7s
Initial support for tstore/tload (#1286)
CI #1987: Commit 08041e4 pushed by ggrieco-tob
July 11, 2024 13:29 5m 31s master
July 11, 2024 13:29 5m 31s
show trace on UnknownFailure (#1283)
CI #1975: Commit bf14ea4 pushed by ggrieco-tob
July 8, 2024 13:36 34m 14s master
July 8, 2024 13:36 34m 14s
CI
CI #1974: by ggrieco-tob
July 5, 2024 19:41 22m 36s master
July 5, 2024 19:41 22m 36s
Shrink on one worker (#1280)
CI #1972: Commit ec5a3c1 pushed by ggrieco-tob
July 5, 2024 13:16 42m 44s 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
July 5, 2024 11:33 21m 28s
show gas/s (#1279)
CI #1961: Commit 882c699 pushed by arcz
June 26, 2024 20:50 22m 6s master
June 26, 2024 20:50 22m 6s
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
June 25, 2024 11:28 4m 31s
June 21, 2024 11:56 21m 2s
Bump docker/build-push-action from 5 to 6 (#1275)
CI #1954: Commit bd90027 pushed by arcz
June 18, 2024 10:17 40m 9s master
June 18, 2024 10:17 40m 9s
chore: fix some comments (#1272)
CI #1951: Commit a73bc9d pushed by arcz
June 14, 2024 13:20 17m 4s master
June 14, 2024 13:20 17m 4s
emit log message when saving reproducers (#1273)
CI #1950: Commit 1cb47b3 pushed by ggrieco-tob
June 13, 2024 09:19 45m 41s master
June 13, 2024 09:19 45m 41s
show transactions when test is falsified in text mode (#1271)
CI #1949: Commit 9f05340 pushed by ggrieco-tob
June 13, 2024 09:18 38m 57s master
June 13, 2024 09:18 38m 57s
Improve max code size error message (#1269)
CI #1944: Commit 8347ad9 pushed by arcz
June 6, 2024 12:36 19m 29s master
June 6, 2024 12:36 19m 29s
June 4, 2024 10:15 3m 45s
Bump DeterminateSystems/nix-installer-action from 11 to 12 (#1268)
CI #1940: Commit 42e6338 pushed by arcz
June 4, 2024 10:14 50m 33s master
June 4, 2024 10:14 50m 33s