Skip to content

Actions: Consensys/mythril

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Manual version pinning updates
pre-commit #29: Pull request #1878 opened by dbast
August 20, 2024 20:30 24s dbast:pinning-update
August 20, 2024 20:30 24s
Add pre-commit hook definition + test
pre-commit #28: Pull request #1877 opened by dbast
August 20, 2024 20:11 32s dbast:pre-commit-hook
August 20, 2024 20:11 32s
Fix issues with statespace on solc 0.8.26
pre-commit #27: Pull request #1863 synchronize by norhh
August 18, 2024 20:54 25s fix/1859
August 18, 2024 20:54 25s
Enable+apply isort via ruff/pre-commit
pre-commit #26: Pull request #1871 synchronize by dbast
August 18, 2024 07:44 24s dbast:isort
August 18, 2024 07:44 24s
Enable+apply isort via ruff/pre-commit
pre-commit #25: Pull request #1871 synchronize by dbast
August 18, 2024 07:14 28s dbast:isort
August 18, 2024 07:14 28s
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 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
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
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
Drop un-used dependencies from requirements.txt
pre-commit #7: Pull request #1869 opened by dbast
August 8, 2024 15:19 21s dbast:requirements.txt
August 8, 2024 15:19 21s
Allow z3-solver<=4.13.0.0, streamline Dockerfile
pre-commit #6: Pull request #1867 synchronize by dbast
August 8, 2024 15:13 42s dbast:z3-solver
August 8, 2024 15:13 42s
Update module-list.rst (#1868)
pre-commit #5: Commit e6df063 pushed by norhh
August 8, 2024 09:43 24s develop
August 8, 2024 09:43 24s