TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
3299 Commits
76 Branches
41 Tags
110 MiB
Tag: Branch: Tree: 12682c3094
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '12682c3094'
${ noResults }
Commit Graph

8 Commits (12682c3094d3721466d34e45748a82b5c3bcce6b)

Author SHA1 Message Date
Feist Josselin af9bde06a2 Rename doctor
2 years ago
Feist Josselin 8aa6c2b15f Further CI improvements
2 years ago
Feist Josselin b7ecc01c45 Cancel action on new commits
2 years ago
Emilio López b01ba03fa8 ci: slither-doctor: disable Windows with Python 3.8
2 years ago
Emilio López d7538795a5 ci: slither-doctor: disable on branches, add dispatch
2 years ago
Emilio López 21967c2525 ci: slither-doctor: group output
2 years ago
Emilio López e65031ebd5 ci: slither-doctor: fix Windows venv execution
2 years ago
Emilio López c531681a8a ci: slither-doctor: add workflow
2 years ago