Skip to content

Commit 2884428

Browse files
mattcosta7mattcosta7
authored
Merge branch 'main' into patch-1
2 parents e10750b + 491c373 commit 2884428

634 files changed

Lines changed: 66663 additions & 8596 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.github/workflows/mad_modelDiff.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -70,7 +70,7 @@ jobs:
7070
SHORTNAME=`basename $DATABASE`
7171
python misc/scripts/models-as-data/generate_mad.py --language java --with-summaries --with-sinks $DATABASE $SHORTNAME/$QL_VARIANT
7272
mkdir -p $MODELS/$SHORTNAME
73-
mv java/ql/lib/ext/generated/$SHORTNAME/$QL_VARIANT $MODELS/$SHORTNAME
73+
mv java/ql/lib/ext/generated/modelgenerator/$SHORTNAME/$QL_VARIANT $MODELS/$SHORTNAME
7474
cd ..
7575
}
7676

‎.github/workflows/python-tooling.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ on:
55
paths:
66
- "misc/bazel/**"
77
- "misc/codegen/**"
8-
- "misc/scripts/models-as-data/bulk_generate_mad.py"
8+
- "misc/scripts/models-as-data/*.py"
99
- "*.bazel*"
1010
- .github/workflows/codegen.yml
1111
- .pre-commit-config.yaml

0 commit comments

Comments
 (0)