Skip to content

Actions: Consensys/mythril

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
184 workflow runs
184 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable+apply isort via ruff/pre-commit
pre-commit #23: Pull request #1871 synchronize by dbast
August 17, 2024 21:18 1m 2s dbast:isort
August 17, 2024 21:18 1m 2s
Enable+apply isort via ruff/pre-commit
pre-commit #24: Pull request #1871 reopened by dbast
August 17, 2024 21:18 1s dbast:isort
August 17, 2024 21:18 1s
Enable dependabot (#1870)
pre-commit #17: Commit f39b050 pushed by norhh
August 17, 2024 11:19 57s develop
August 17, 2024 11:19 57s
Enable+apply isort via ruff/pre-commit
pre-commit #16: Pull request #1871 opened by dbast
August 17, 2024 07:56 1m 0s dbast:isort
August 17, 2024 07:56 1m 0s
Enable+apply isort via ruff/pre-commit
container #5: Pull request #1871 opened by dbast
August 17, 2024 07:56 2m 19s dbast:isort
August 17, 2024 07:56 2m 19s
Enable dependabot
pre-commit #15: Pull request #1870 opened by dbast
August 16, 2024 20:51 55s dbast:develop
August 16, 2024 20:51 55s
Fix issues with statespace on solc 0.8.26
pre-commit #14: Pull request #1863 synchronize by norhh
August 9, 2024 22:14 43s fix/1859
August 9, 2024 22:14 43s
Allow z3-solver<=4.13.0.0, streamline Dockerfile (#1867)
pre-commit #13: Commit 1384ef5 pushed by norhh
August 9, 2024 22:13 55s develop
August 9, 2024 22:13 55s
Allow z3-solver<=4.13.0.0, streamline Dockerfile
pre-commit #12: Pull request #1867 synchronize by dbast
August 9, 2024 07:55 28s dbast:z3-solver
August 9, 2024 07:55 28s
Allow z3-solver<=4.13.0.0, streamline Dockerfile
container #4: Pull request #1867 synchronize by dbast
August 9, 2024 07:55 25m 48s dbast:z3-solver
August 9, 2024 07:55 25m 48s
Drop un-used dependencies from requirements.txt (#1869)
pre-commit #11: Commit 586588a pushed by norhh
August 8, 2024 20:40 22s develop
August 8, 2024 20:40 22s
Allow z3-solver<=4.13.0.0, streamline Dockerfile
container #3: Pull request #1867 synchronize by dbast
August 8, 2024 18:59 26m 58s dbast:z3-solver
August 8, 2024 18:59 26m 58s
Allow z3-solver<=4.13.0.0, streamline Dockerfile
pre-commit #10: Pull request #1867 synchronize by dbast
August 8, 2024 18:59 31s dbast:z3-solver
August 8, 2024 18:59 31s
Drop un-used dependencies from requirements.txt
pre-commit #9: Pull request #1869 synchronize by dbast
August 8, 2024 18:56 32s dbast:requirements.txt
August 8, 2024 18:56 32s
Drop un-used dependencies from requirements.txt
pre-commit #8: Pull request #1869 synchronize by dbast
August 8, 2024 15:19 29s dbast:requirements.txt
August 8, 2024 15:19 29s