Skip to content

Commit d3f5b47

Browse files
paldepindpaldepind
committed
Merge branch 'main' into rust-df-patterns
2 parents 78edafc + 2bb5603 commit d3f5b47

File tree

162 files changed

+2919
-882
lines changed

Some content is hidden

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

162 files changed

+2919
-882
lines changed

‎.github/workflows/csv-coverage-metrics.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,7 @@ jobs:
3737
run: |
3838
DATABASE="${{ runner.temp }}/java-database"
3939
codeql database analyze --format=sarif-latest --output=metrics-java.sarif -- "$DATABASE" ./java/ql/src/Metrics/Summaries/FrameworkCoverage.ql
40-
- uses: actions/upload-artifact@v3
40+
- uses: actions/upload-artifact@v4
4141
with:
4242
name: metrics-java.sarif
4343
path: metrics-java.sarif
@@ -64,7 +64,7 @@ jobs:
6464
run: |
6565
DATABASE="${{ runner.temp }}/csharp-database"
6666
codeql database analyze --format=sarif-latest --output=metrics-csharp.sarif -- "$DATABASE" ./csharp/ql/src/Metrics/Summaries/FrameworkCoverage.ql
67-
- uses: actions/upload-artifact@v3
67+
- uses: actions/upload-artifact@v4
6868
with:
6969
name: metrics-csharp.sarif
7070
path: metrics-csharp.sarif

‎.github/workflows/csv-coverage-pr-artifacts.yml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -71,21 +71,21 @@ jobs:
7171
run: |
7272
python base/misc/scripts/library-coverage/compare-folders.py out_base out_merge comparison.md
7373
- name: Upload CSV package list
74-
uses: actions/upload-artifact@v3
74+
uses: actions/upload-artifact@v4
7575
with:
7676
name: csv-framework-coverage-merge
7777
path: |
7878
out_merge/framework-coverage-*.csv
7979
out_merge/framework-coverage-*.rst
8080
- name: Upload CSV package list
81-
uses: actions/upload-artifact@v3
81+
uses: actions/upload-artifact@v4
8282
with:
8383
name: csv-framework-coverage-base
8484
path: |
8585
out_base/framework-coverage-*.csv
8686
out_base/framework-coverage-*.rst
8787
- name: Upload comparison results
88-
uses: actions/upload-artifact@v3
88+
uses: actions/upload-artifact@v4
8989
with:
9090
name: comparison
9191
path: |
@@ -97,7 +97,7 @@ jobs:
9797
env:
9898
PR_NUMBER: ${{ github.event.pull_request.number }}
9999
- name: Upload PR number
100-
uses: actions/upload-artifact@v3
100+
uses: actions/upload-artifact@v4
101101
with:
102102
name: pr
103103
path: pr/
@@ -117,7 +117,7 @@ jobs:
117117
GITHUB_TOKEN: ${{ github.token }}
118118
PR_NUMBER: ${{ github.event.pull_request.number }}
119119
- name: Upload comment ID (if it exists)
120-
uses: actions/upload-artifact@v3
120+
uses: actions/upload-artifact@v4
121121
with:
122122
name: comment
123123
path: comment/

‎.github/workflows/csv-coverage-timeseries.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ jobs:
3030
run: |
3131
python script/misc/scripts/library-coverage/generate-timeseries.py codeqlModels
3232
- name: Upload timeseries CSV
33-
uses: actions/upload-artifact@v3
33+
uses: actions/upload-artifact@v4
3434
with:
3535
name: framework-coverage-timeseries
3636
path: framework-coverage-timeseries-*.csv

‎.github/workflows/csv-coverage.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -34,12 +34,12 @@ jobs:
3434
run: |
3535
python script/misc/scripts/library-coverage/generate-report.py ci codeqlModels script
3636
- name: Upload CSV package list
37-
uses: actions/upload-artifact@v3
37+
uses: actions/upload-artifact@v4
3838
with:
3939
name: framework-coverage-csv
4040
path: framework-coverage-*.csv
4141
- name: Upload RST package list
42-
uses: actions/upload-artifact@v3
42+
uses: actions/upload-artifact@v4
4343
with:
4444
name: framework-coverage-rst
4545
path: framework-coverage-*.rst

‎.github/workflows/mad_modelDiff.yml

Lines changed: 11 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -38,14 +38,20 @@ jobs:
3838
path: codeql-main
3939
ref: main
4040
- uses: ./codeql-main/.github/actions/fetch-codeql
41+
# compute the shortname of the project that does not contain any special (disk) characters
42+
- run: |
43+
echo "SHORTNAME=${SLUG//[^a-zA-Z0-9_]/}" >> $GITHUB_OUTPUT
44+
env:
45+
SLUG: ${{ matrix.slug }}
46+
id: shortname
4147
- name: Download database
4248
env:
4349
SLUG: ${{ matrix.slug }}
4450
GH_TOKEN: ${{ github.token }}
51+
SHORTNAME: ${{ steps.shortname.outputs.SHORTNAME }}
4552
run: |
4653
set -x
4754
mkdir lib-dbs
48-
SHORTNAME=${SLUG//[^a-zA-Z0-9_]/}
4955
gh api -H "Accept: application/zip" "/repos/${SLUG}/code-scanning/codeql/databases/java" > "$SHORTNAME.zip"
5056
unzip -q -d "${SHORTNAME}-db" "${SHORTNAME}.zip"
5157
mkdir "lib-dbs/$SHORTNAME/"
@@ -93,14 +99,14 @@ jobs:
9399
name="diff_${basename/.model.yml/""}"
94100
(diff -w -u $m $t | diff2html -i stdin -F $MODELS/$name.html) || true
95101
done
96-
- uses: actions/upload-artifact@v3
102+
- uses: actions/upload-artifact@v4
97103
with:
98-
name: models
104+
name: models-${{ steps.shortname.outputs.SHORTNAME }}
99105
path: tmp-models/**/**/*.model.yml
100106
retention-days: 20
101-
- uses: actions/upload-artifact@v3
107+
- uses: actions/upload-artifact@v4
102108
with:
103-
name: diffs
109+
name: diffs-${{ steps.shortname.outputs.SHORTNAME }}
104110
path: tmp-models/*.html
105111
# An html file is only produced if the generated models differ.
106112
if-no-files-found: ignore

‎.github/workflows/mad_regenerate-models.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -59,7 +59,7 @@ jobs:
5959
find java -name "*.model.yml" -print0 | xargs -0 git add
6060
git status
6161
git diff --cached > models.patch
62-
- uses: actions/upload-artifact@v3
62+
- uses: actions/upload-artifact@v4
6363
with:
6464
name: patch
6565
path: models.patch

‎.github/workflows/post-pr-comment.yml

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,11 @@ jobs:
1717
post_comment:
1818
runs-on: ubuntu-latest
1919
steps:
20-
- name: Download artifact
21-
run: gh run download "${WORKFLOW_RUN_ID}" --repo "${GITHUB_REPOSITORY}" --name "comment"
20+
- name: Download artifacts
21+
run: |
22+
gh run download "${WORKFLOW_RUN_ID}" --repo "${GITHUB_REPOSITORY}" --name "comment-pr-number"
23+
gh run download "${WORKFLOW_RUN_ID}" --repo "${GITHUB_REPOSITORY}" --name "comment-body"
24+
gh run download "${WORKFLOW_RUN_ID}" --repo "${GITHUB_REPOSITORY}" --name "comment-id"
2225
env:
2326
GITHUB_TOKEN: ${{ github.token }}
2427
WORKFLOW_RUN_ID: ${{ github.event.workflow_run.id }}

‎.github/workflows/qhelp-pr-preview.yml

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -36,9 +36,9 @@ jobs:
3636
- run: echo "${PR_NUMBER}" > pr_number.txt
3737
env:
3838
PR_NUMBER: ${{ github.event.number }}
39-
- uses: actions/upload-artifact@v3
39+
- uses: actions/upload-artifact@v4
4040
with:
41-
name: comment
41+
name: comment-pr-number
4242
path: pr_number.txt
4343
if-no-files-found: error
4444
retention-days: 1
@@ -78,9 +78,9 @@ jobs:
7878
exit "${EXIT_CODE}"
7979
8080
- if: ${{ !cancelled() }}
81-
uses: actions/upload-artifact@v3
81+
uses: actions/upload-artifact@v4
8282
with:
83-
name: comment
83+
name: comment-body
8484
path: comment_body.txt
8585
if-no-files-found: error
8686
retention-days: 1
@@ -94,9 +94,9 @@ jobs:
9494
GITHUB_TOKEN: ${{ github.token }}
9595
PR_NUMBER: ${{ github.event.number }}
9696

97-
- uses: actions/upload-artifact@v3
97+
- uses: actions/upload-artifact@v4
9898
with:
99-
name: comment
99+
name: comment-id
100100
path: comment_id.txt
101101
if-no-files-found: error
102102
retention-days: 1

‎.github/workflows/ql-for-ql-build.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -75,7 +75,7 @@ jobs:
7575
sarif_file: ql-for-ql.sarif
7676
category: ql-for-ql
7777
- name: Sarif as artifact
78-
uses: actions/upload-artifact@v3
78+
uses: actions/upload-artifact@v4
7979
with:
8080
name: ql-for-ql.sarif
8181
path: ql-for-ql.sarif
@@ -84,7 +84,7 @@ jobs:
8484
mkdir split-sarif
8585
node ./ql/scripts/split-sarif.js ql-for-ql.sarif split-sarif
8686
- name: Upload langs as artifacts
87-
uses: actions/upload-artifact@v3
87+
uses: actions/upload-artifact@v4
8888
with:
8989
name: ql-for-ql-langs
9090
path: split-sarif

‎.github/workflows/ql-for-ql-dataset_measure.yml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -65,7 +65,7 @@ jobs:
6565
"${CODEQL}" dataset measure --threads 4 --output "stats/${{ matrix.repo }}/stats.xml" "${{ runner.temp }}/database/db-ql"
6666
env:
6767
CODEQL: ${{ steps.find-codeql.outputs.codeql-path }}
68-
- uses: actions/upload-artifact@v3
68+
- uses: actions/upload-artifact@v4
6969
with:
7070
name: measurements
7171
path: stats
@@ -76,14 +76,14 @@ jobs:
7676
needs: measure
7777
steps:
7878
- uses: actions/checkout@v4
79-
- uses: actions/download-artifact@v3
79+
- uses: actions/download-artifact@v4
8080
with:
8181
name: measurements
8282
path: stats
8383
- run: |
8484
python -m pip install --user lxml
8585
find stats -name 'stats.xml' -print0 | sort -z | xargs -0 python ruby/scripts/merge_stats.py --output ql/ql/src/ql.dbscheme.stats --normalise ql_tokeninfo
86-
- uses: actions/upload-artifact@v3
86+
- uses: actions/upload-artifact@v4
8787
with:
8888
name: ql.dbscheme.stats
8989
path: ql/ql/src/ql.dbscheme.stats

0 commit comments

Comments
 (0)