github: Use run_number instead run_id as external-id for LGTM

The external-id parameter takes an int32 and the generated run_id was
apparently not valid lately, resulting in undocumented 404 errors when
submitting patches (the API endpoint probably doesn't like negative numbers
because the last accepted id was 2059658094, rejected ids were e.g.
2167472705 or 2168792083).

diff --git a/.github/workflows/lgtm.yml b/.github/workflows/lgtm.yml
index 717af4711d14393e5efe7dabe6e4690677620a14..adc05277bdf925dff6880cdc63e73f67b366a10e 100644 (file)
--- a/.github/workflows/lgtm.yml
+++ b/.github/workflows/lgtm.yml
@@ -31,7 +31,7 @@ jobs:
       - env:
           LGTM_TOKEN: ${{ secrets.LGTM_TOKEN }}
           LGTM_PROJECT: ${{ secrets.LGTM_PROJECT }}
-          BUILD_NUMBER: ${{ github.run_id }}
+          BUILD_NUMBER: ${{ github.run_number }}
           COMMIT_ID: ${{ github.sha }}
           COMMIT_BASE: ${{ github.event.before }}
         uses: ./.github/actions/default