diff options
author | Philip H <47042125+pheiduck@users.noreply.github.com> | 2023-01-28 10:43:50 +0000 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2023-01-28 10:43:50 +0000 |
commit | 192e24d974522852bdca67db6d76ead87f57e677 (patch) | |
tree | 98b16b01d10c9b10589755b23949c1aac972b7b7 /.github | |
parent | f75a2cb3c7db6244fd7e3eee75c85d40a1614fa0 (diff) |
patch 9.0.1253: CI adds repository unnecessarilyv9.0.1253
Problem: CI adds repository unnecessarily.
Solution: Remove the line from the workflow. (closes #11900)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 01cc16a571..00ef41fed0 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -96,7 +96,6 @@ jobs: - name: Install gcc-11 if: matrix.compiler == 'gcc' run: | - sudo add-apt-repository ppa:ubuntu-toolchain-r/test sudo apt install -y gcc-11 sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-11 100 sudo update-alternatives --set gcc /usr/bin/gcc-11 |