Skip to content

Actions: crytic/slither

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
145 workflow run results
145 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Better struct handling in code generation util CI #4396: Pull request #2068 opened by webthethird
July 27, 2023 03:27 4m 37s webthethird:dev-better-struct-handling-code-gen
webthethird:dev-better-struct-handling-code-gen
July 27, 2023 03:27 4m 37s
Better struct handling in code generation util CI #4395: Pull request #1933 synchronize by webthethird
July 27, 2023 02:31 4m 27s webthethird:dev-generate-interface-code
webthethird:dev-generate-interface-code
July 27, 2023 02:31 4m 27s
Better struct handling in code generation util CI #4393: Pull request #1933 synchronize by webthethird
July 27, 2023 02:29 3m 9s webthethird:dev-generate-interface-code
webthethird:dev-generate-interface-code
July 27, 2023 02:29 3m 9s
Better struct handling in code generation util CI #4394: Pull request #1933 synchronize by webthethird
July 27, 2023 02:29 2s webthethird:dev-generate-interface-code
webthethird:dev-generate-interface-code
July 27, 2023 02:29 2s
CI CI #4392: Scheduled
July 26, 2023 12:03 5m 24s master
master
July 26, 2023 12:03 5m 24s
CI CI #4391: Scheduled
July 25, 2023 12:03 7m 52s master
master
July 25, 2023 12:03 7m 52s
Improve echidna printer perf CI #4390: Pull request #2064 synchronize by smonicas
July 25, 2023 09:31 5m 4s dev-echidna
dev-echidna
July 25, 2023 09:31 5m 4s
Perf improvements CI #4389: Pull request #2065 synchronize by smonicas
July 25, 2023 09:21 7m 14s dev-perf
dev-perf
July 25, 2023 09:21 7m 14s
Improve echidna printer perf CI #4388: Pull request #2064 synchronize by smonicas
July 25, 2023 09:05 4m 44s dev-echidna
dev-echidna
July 25, 2023 09:05 4m 44s
fix ternary rewrite test and make assertion more strict CI #4387: Pull request #2067 opened by 0xalpharush
July 25, 2023 02:49 5m 39s fix/empty-ternary-test
fix/empty-ternary-test
July 25, 2023 02:49 5m 39s
fix: reorder named arguments to match declaration order CI #4386: Pull request #1949 synchronize by kevinclancy
July 24, 2023 23:32 4m 35s CertiKProject:upstream-pr/reorder-named-params
CertiKProject:upstream-pr/reorder-named-params
July 24, 2023 23:32 4m 35s
Bump super-linter/super-linter from 4.9.2 to 5.2.0 CI #4385: Pull request #2066 opened by dependabot bot
July 24, 2023 22:36 6m 1s dependabot/github_actions/dev/super-linter/super-linter-5.2.0
dependabot/github_actions/dev/super-linter/super-linter-5.2.0
July 24, 2023 22:36 6m 1s
CI CI #4384: Scheduled
July 24, 2023 12:03 5m 43s master
master
July 24, 2023 12:03 5m 43s
Perf improvements CI #4383: Pull request #2065 opened by montyly
July 24, 2023 09:19 6m 45s dev-perf
dev-perf
July 24, 2023 09:19 6m 45s
Improve echidna printer perf CI #4382: Pull request #2064 opened by montyly
July 24, 2023 09:18 5m 54s dev-echidna
dev-echidna
July 24, 2023 09:18 5m 54s
address some mypy warnings CI #4381: Pull request #1814 synchronize by 0xalpharush
July 24, 2023 02:44 3m 10s type-improvemetns
type-improvemetns
July 24, 2023 02:44 3m 10s
Merge pull request #2052 from crytic/dev-contributing CI #4380: Commit 43888ef pushed by 0xalpharush
July 24, 2023 02:40 6m 46s dev
dev
July 24, 2023 02:40 6m 46s
Merge pull request #2044 from crytic/dependabot/github_actions/dev/ac… CI #4379: Commit 34e1a24 pushed by 0xalpharush
July 24, 2023 02:32 5m 4s dev
dev
July 24, 2023 02:32 5m 4s
Merge pull request #2049 from crytic/dependabot/github_actions/dev/py… CI #4378: Commit cb4c5b8 pushed by 0xalpharush
July 24, 2023 02:32 1m 51s dev
dev
July 24, 2023 02:32 1m 51s
CI CI #4377: Scheduled
July 23, 2023 12:02 4m 40s master
master
July 23, 2023 12:02 4m 40s
CI CI #4376: Scheduled
July 22, 2023 12:02 4m 57s master
master
July 22, 2023 12:02 4m 57s
Add CustomError as printable output CI #4375: Pull request #2063 opened by smonicas
July 21, 2023 16:29 6m 13s dev-customerror-output
dev-customerror-output
July 21, 2023 16:29 6m 13s
CI CI #4374: Scheduled
July 21, 2023 12:02 7m 6s master
master
July 21, 2023 12:02 7m 6s
improve name resolution of type aliases CI #4373: Pull request #2061 opened by smonicas
July 20, 2023 16:46 5m 1s dev-type-alias
dev-type-alias
July 20, 2023 16:46 5m 1s
CI CI #4372: Scheduled
July 20, 2023 12:02 5m 56s master
master
July 20, 2023 12:02 5m 56s