mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity
remix-project mirror
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
15903 Commits
608 Branches
155 Tags
300 MiB
 
 
 
 
 
Tag: Branch: Tree: 117392b62e
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '117392b62e'
${ noResults }
remix-project/apps/remix-ide/ci/parse_workspace.py

9 lines
185 B
Raw Blame History

import json
with open('../../../workspace.json') as f:
data = json.load(f)
for key in data['projects']:
if(data['projects'][key]['architect']['lint']):
print('%s:lint' % key)