Merge branch 'develop' into frechet/mean

Signed-off-by: Philipp Burckhardt <[email protected]>

Author: Planeshifter

.editorconfig

@@ -86,7 +86,6 @@ indent_style = tab
 [*.{f,f.txt}]
 indent_style = space
 indent_size = 2
-insert_final_newline = false
 
 # Set properties for shell files:
 [*.{sh,sh.txt}]

.github/workflows/check_licenses.yml

@@ -128,7 +128,7 @@ jobs:
       # Upload the log file:
       - name: 'Upload log file'
         # Pin action to full length commit SHA
-        uses: actions/upload-artifact@b4b15b8c7c6ac21ea08fcf65892d2ee8f75cf882 # v4.4.3
+        uses: actions/upload-artifact@6f51ac03b9356f520e9adb1b1b7802705f340c2b # v4.5.0
         if: always()
         with:
           # Define a name for the uploaded artifact:

.github/workflows/labeler.yml

@@ -24,6 +24,7 @@ on:
   pull_request_target:
     types:
       - opened
+      - closed
       - synchronize
       - reopened
       - edited
@@ -64,6 +65,31 @@ jobs:
           configuration-path: .github/labeler.yml
           repo-token: ${{ secrets.CHATBOT_GITHUB_TOKEN }}
 
+      # Add "First-time Contributor" label if PR is from a first-time contributor:
+      - name: 'Add "First-time Contributor" label if PR is from a first-time contributor'
+        if: ${{ github.event.action == 'opened' || github.event.action == 'reopened' }}
+        # Pin action to full-length commit SHA
+        uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
+        with:
+          github-token: ${{ secrets.CHATBOT_GITHUB_TOKEN }}
+          script: |
+            const { data: pr } = await github.rest.pulls.get({
+              'owner': context.repo.owner,
+              'repo': context.repo.repo,
+              'pull_number': context.payload.pull_request.number
+            });
+            if ( pr.author_association === 'FIRST_TIME_CONTRIBUTOR' ) {
+              const labels = context.payload.pull_request.labels.map( label => label.name );
+              if ( !labels.includes( 'First-time Contributor' ) ) {
+                await github.rest.issues.addLabels({
+                  'owner': context.repo.owner,
+                  'repo': context.repo.repo,
+                  'issue_number': context.payload.pull_request.number,
+                  'labels': [ 'First-time Contributor' ]
+                });
+              }
+            }
+
       # Add "Needs Review" label when PR is opened and not a draft:
       - name: 'Add "Needs Review" label if PR is opened and not draft'
         if: ${{ github.event.action == 'opened' && github.event.pull_request.draft == false }}
@@ -133,3 +159,37 @@ jobs:
                 console.log( 'Error removing label %s: %s', label, error.message );
               }
             }
+
+      # Remove "First-time Contributor" label from other open PRs of same author if PR is merged:
+      - name: 'Remove "First-time Contributor" label from other open PRs of same author if PR is merged'
+        if: ${{ github.event.action == 'closed' && github.event.pull_request.merged == true }}
+        # Pin action to full length commit SHA
+        uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
+        with:
+          github-token: ${{ secrets.CHATBOT_GITHUB_TOKEN }}
+          script: |
+            const prAuthor = context.payload.pull_request.user.login;
+            const { owner, repo } = context.repo;
+
+            // Search for all open PRs from the PR author:
+            const query = `repo:${owner}/${repo} type:pr state:open author:${prAuthor}`;
+            const response = await github.rest.search.issuesAndPullRequests({
+              'q': query,
+              'per_page': 100
+            });
+
+            const pullRequests = response.data.items;
+            for ( const pull of pullRequests ) {
+              if ( pull.user.login === prAuthor ) {
+                try {
+                  await github.rest.issues.removeLabel({
+                    'owner': context.repo.owner,
+                    'repo': context.repo.repo,
+                    'issue_number': pull.number,
+                    'name': 'First-time Contributor'
+                  });
+                } catch ( error ) {
+                  console.log( 'Error removing "First-time Contributor" label from PR #%d: %s', pull.number, error.message );
+                }
+              }
+            }

.github/workflows/labeler_needs_changes.yml

@@ -52,7 +52,6 @@ jobs:
         # Pin action to a known commit SHA for reproducibility:
         uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
         with:
-          github-token: ${{ secrets.CHATBOT_GITHUB_TOKEN }}
           script: |
             await github.rest.issues.addLabels({
               'owner': context.repo.owner,

.github/workflows/lint_changed_files.yml

@@ -72,8 +72,21 @@ jobs:
           node-version: '20' # 'lts/*'
         timeout-minutes: 5
 
+      # Cache dependencies:
+      - name: 'Cache dependencies'
+        # Pin action to full length commit SHA
+        uses: actions/cache@1bd1e32a3bdc45362d1e726936510720a7c30a57 # v4.2.0
+        id: cache
+        with:
+          path: |
+            ${{ github.workspace }}/node_modules
+          key: ${{ runner.os }}-node-${{ hashFiles('**/package.json') }}
+          restore-keys: |
+            ${{ runner.os }}-node-
+
       # Install dependencies (accounting for possible network failures, etc, when installing node module dependencies):
       - name: 'Install dependencies'
+        if: steps.cache.outputs.cache-hit != 'true'
         run: |
           make install-node-modules || make install-node-modules || make install-node-modules
         timeout-minutes: 15
@@ -120,7 +133,7 @@ jobs:
       - name: 'Lint against EditorConfig'
         if: success() || failure()
         run: |
-          make lint-editorconfig-files FILES="${{ steps.changed-files.outputs.files }}"
+          make lint-editorconfig-files EDITORCONFIG_FORMAT=github-actions FILES="${{ steps.changed-files.outputs.files }}"
 
       # Lint Markdown files:
       - name: 'Lint Markdown files'

.github/workflows/lint_random_files.yml

@@ -464,7 +464,7 @@ jobs:
         if: ${{ github.event.inputs.fix == 'true' }} && ( success() || failure() )
         id: cpr
         # Pin action to full length commit SHA
-        uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f # v7.0.5
+        uses: peter-evans/create-pull-request@67ccf781d68cd99b580ae25a5c18a1cc84ffff1f # v7.0.6
         with:
           title: 'style: fix lint errors'
           add-paths: ${{ steps.random-files.outputs.files }}

.github/workflows/linux_benchmark.yml

@@ -251,7 +251,7 @@ jobs:
       # Upload the log file:
       - name: 'Upload log file'
         # Pin action to full length commit SHA
-        uses: actions/upload-artifact@b4b15b8c7c6ac21ea08fcf65892d2ee8f75cf882 # v4.4.3
+        uses: actions/upload-artifact@6f51ac03b9356f520e9adb1b1b7802705f340c2b # v4.5.0
         if: always()
         with:
           # Define a name for the uploaded artifact (ensuring a unique name for each job):

.github/workflows/linux_examples.yml

@@ -251,7 +251,7 @@ jobs:
       # Upload the log file:
       - name: 'Upload log file'
         # Pin action to full length commit SHA
-        uses: actions/upload-artifact@b4b15b8c7c6ac21ea08fcf65892d2ee8f75cf882 # v4.4.3
+        uses: actions/upload-artifact@6f51ac03b9356f520e9adb1b1b7802705f340c2b # v4.5.0
         if: always()
         with:
           # Define a name for the uploaded artifact (ensuring a unique name for each job):

.github/workflows/linux_test.yml

@@ -250,7 +250,7 @@ jobs:
       # Upload the log file:
       - name: 'Upload log file'
         # Pin action to full length commit SHA
-        uses: actions/upload-artifact@b4b15b8c7c6ac21ea08fcf65892d2ee8f75cf882 # v4.4.3
+        uses: actions/upload-artifact@6f51ac03b9356f520e9adb1b1b7802705f340c2b # v4.5.0
         if: always()
         with:
           # Define a name for the uploaded artifact (ensuring a unique name for each job):

.github/workflows/linux_test_cov.yml

@@ -251,7 +251,7 @@ jobs:
       # Upload the log file:
       - name: 'Upload log file'
         # Pin action to full length commit SHA
-        uses: actions/upload-artifact@b4b15b8c7c6ac21ea08fcf65892d2ee8f75cf882 # v4.4.3
+        uses: actions/upload-artifact@6f51ac03b9356f520e9adb1b1b7802705f340c2b # v4.5.0
         if: always()
         with:
           # Define a name for the uploaded artifact (ensuring a unique name for each job):