codeql: install re2c as well
MODIFY
.github/workflows/codeql-analysis.yml
.github/workflows/codeql-analysis.yml
@@ -20,7 +20,7 @@ jobs:
steps:
- name: Install dependencies
- run: sudo apt-get install z3
+ run: sudo apt-get install re2c z3
- name: Checkout repository
uses: actions/checkout@v2

codeql: install re2c as well