Skip to content

Actions: ConsenSysDiligence/mythril

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
264 workflow runs
264 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix false-positive assertion violation (SWC-110) at PC 0 for contracts without assert (#1911) pre-commit #118: Pull request #1922 opened by jose-blockchain
Action required jose-blockchain:fix/spurious-assertion-violation-pc0-1911
jose-blockchain:fix/spurious-assertion-violation-pc0-1911
Action required
github_actions in / for actions/checkout, actions/setup-python - Update #1237487263 Dependabot Updates #161: by dependabot bot
39s develop
develop
39s
github_actions in /. - Update #1237487249 Dependabot Updates #160: by dependabot bot
27s develop
develop
27s
Update z3-solver requirement from <=4.13.4.0,>=4.8.8.0 to >=4.8.8.0,<=4.15.7.0 pre-commit #117: Pull request #1921 opened by dependabot bot
1m 3s dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.15.7.0
dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.15.7.0
1m 3s
Update z3-solver requirement from <=4.13.4.0,>=4.8.8.0 to >=4.8.8.0,<=4.15.7.0 container #49: Pull request #1921 opened by dependabot bot
57m 16s dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.15.7.0
dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.15.7.0
57m 16s
Update z3-solver requirement from <=4.13.4.0,>=4.8.8.0 to >=4.8.8.0,<=4.15.7.0 pre-commit #47: Pull request #1921 opened by dependabot bot
19m 12s dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.15.7.0
dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.15.7.0
19m 12s
pip in /. - Update #1237485682 Dependabot Updates #159: by dependabot bot
58s develop
develop
58s
github_actions in / for actions/checkout, actions/setup-python - Update #1229771763 Dependabot Updates #158: by dependabot bot
37s develop
develop
37s
github_actions in /. - Update #1229771747 Dependabot Updates #157: by dependabot bot
31s develop
develop
31s
pip in /. - Update #1229770093 Dependabot Updates #156: by dependabot bot
1m 0s develop
develop
1m 0s
github_actions in / for actions/checkout, actions/setup-python - Update #1220361002 Dependabot Updates #155: by dependabot bot
37s develop
develop
37s
github_actions in /. - Update #1220360987 Dependabot Updates #154: by dependabot bot
28s develop
develop
28s
pip in /. - Update #1220359399 Dependabot Updates #153: by dependabot bot
50s develop
develop
50s
github_actions in / for actions/checkout, actions/setup-python - Update #1212630647 Dependabot Updates #152: by dependabot bot
40s develop
develop
40s
github_actions in /. - Update #1212630633 Dependabot Updates #151: by dependabot bot
29s develop
develop
29s
pip in /. - Update #1212629028 Dependabot Updates #150: by dependabot bot
55s develop
develop
55s
github_actions in / for actions/checkout, actions/setup-python - Update #1205949835 Dependabot Updates #149: by dependabot bot
40s develop
develop
40s
github_actions in /. - Update #1205949821 Dependabot Updates #148: by dependabot bot
28s develop
develop
28s
pip in /. - Update #1205948207 Dependabot Updates #147: by dependabot bot
59s develop
develop
59s
github_actions in / for actions/checkout, actions/setup-python - Update #1198526264 Dependabot Updates #146: by dependabot bot
39s develop
develop
39s
github_actions in /. - Update #1198526238 Dependabot Updates #145: by dependabot bot
26s develop
develop
26s
pip in /. - Update #1198520190 Dependabot Updates #144: by dependabot bot
52s develop
develop
52s
github_actions in / for actions/checkout, actions/setup-python - Update #1192231245 Dependabot Updates #143: by dependabot bot
46s develop
develop
46s
github_actions in /. - Update #1192231215 Dependabot Updates #142: by dependabot bot
32s develop
develop
32s
pip in /. - Update #1192224911 Dependabot Updates #141: by dependabot bot
59s develop
develop
59s