Upgrade Vendorpull (#712)

Signed-off-by: Juan Cruz Viotti <[email protected]>
sourcemeta · Jan 22, 2024 · 245f047 · 245f047
1 parent 39aea58
commit 245f047
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 7 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -43,8 +43,8 @@ jobs:
       - name: Workaround Clang issue (GNU/Linux)
         if: runner.os == 'linux' && matrix.platform.cc == 'clang'
         run: |
-          sudo rm -f /etc/apt/sources.list.d/ubuntu-toolchain-r-ubuntu-test-jammy.list
-          sudo apt-get install --yes --allow-downgrades libc6=2.35-0ubuntu3.4 libc6-dev=2.35-0ubuntu3.4 libstdc++6=12.3.0-1ubuntu1~22.04 libgcc-s1=12.3.0-1ubuntu1~22.04
+          sudo apt-get purge -y g++-13 gcc-13 libstdc++-13-dev
+          sudo apt-get install -y --allow-downgrades libstdc++-12-dev libstdc++6=12.* libgcc-s1=12.*
 
       - name: Install dependencies (Windows)
         if: runner.os == 'windows'

diff --git a/DEPENDENCIES b/DEPENDENCIES
@@ -1,4 +1,4 @@
-vendorpull https://github.com/sourcemeta/vendorpull 6c398482e30bd85d7e8138c606e01f28270c29ae
+vendorpull https://github.com/sourcemeta/vendorpull 70342aaf458e6cb80baeb5b718901075fc42ede6
 rapidjson https://github.com/Tencent/rapidjson 06d58b9e848c650114556a23294d0b6440078c61
 jsontoolkit https://github.com/sourcemeta/jsontoolkit e0efe63940e8c27b3a78ce27ac0c1be70922b741
 googletest https://github.com/google/googletest e2239ee6043f73722e7aa812a459f54a28552929

diff --git a/vendor/vendorpull.mask b/vendor/vendorpull.mask
diff --git a/vendor/vendorpull/pull b/vendor/vendorpull/pull