robojerk/codeql-action

Merge branch 'main' into aeisenberg/checkout-path-commitoid

Browse source
This commit is contained in:
Andrew Eisenberg 2022-03-25 10:01:28 -07:00
commit 88db5e75ec
131 changed files with 2233 additions and 2097 deletions
Download patch file Download diff file Expand all files Collapse all files

1
pr-checks/sync.py
View file

@ -85,6 +85,7 @@ for file in os.listdir('checks'):
}
},
'name': checkSpecification['name'],
'timeout-minutes': 45,
'runs-on': '${{ matrix.os }}',
'steps': steps
}