Remove Ubuntu 18.04 from apt repository (#1403)

alisw · Sep 20, 2024 · bd87df1 · bd87df1
1 parent f0da6f9
commit bd87df1
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 7 deletions.
diff --git a/.github/workflows/clean-pr-checks.yml b/.github/workflows/clean-pr-checks.yml
@@ -76,9 +76,10 @@ jobs:
                 }
               }
             }
-          owner: ${{ inputs.owner }}
-          name: ${{ inputs.repo }}
-          pr: ${{ inputs.pr }}
+          variables: |
+            owner: ${{ inputs.owner }}
+            name: ${{ inputs.repo }}
+            pr: ${{ inputs.pr }}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 

diff --git a/.github/workflows/o2-full-deps.yml b/.github/workflows/o2-full-deps.yml
@@ -95,7 +95,6 @@ jobs:
       fail-fast: false
       matrix:
         ubuntu_codename:
-          - bionic  # 18.04
           - focal   # 20.04
           - jammy   # 22.04
           - mantic  # 23.10

diff --git a/.github/workflows/pr-security-approval.yml b/.github/workflows/pr-security-approval.yml
@@ -50,9 +50,10 @@ jobs:
                 }
               }
             }
-          owner: ${{ github.event.repository.owner.login }}
-          name: ${{ github.event.repository.name }}
-          pr: ${{ github.event.pull_request.number }}
+          variables: |
+            owner: ${{ github.event.repository.owner.login }}
+            name: ${{ github.event.repository.name }}
+            pr: ${{ github.event.pull_request.number }}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}