Merge pull request #211 from MikeMirzayanov/ConstantBoundsLog

Constant bounds log
MikeMirzayanov · Aug 1, 2024 · a6e57ad · a6e57ad
2 parents 8554703 + 7968ff5
commit a6e57ad
Show file tree

Hide file tree

Showing 18 changed files with 281 additions and 10 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -90,6 +90,7 @@ jobs:
       - uses: actions/checkout@v3
       - name: Run tests
         run: |
+          sudo apt-get update
           sudo apt-get install gcc-${{ matrix.version }}-multilib g++-${{ matrix.version }}-multilib
           cd tests
           bash ./run.sh ${{ matrix.compiler }} v${{ matrix.version }} 32
@@ -106,6 +107,7 @@ jobs:
       - uses: actions/checkout@v3
       - name: Run tests
         run: |
+          sudo apt-get update
           sudo apt-get install gcc-multilib g++-multilib
           cd tests
           bash ./run.sh ${{ matrix.compiler }} v${{ matrix.version }} 32
@@ -122,6 +124,7 @@ jobs:
       - uses: actions/checkout@v3
       - name: Run tests
         run: |
+          sudo apt-get update
           sudo apt-get install gcc-${{ matrix.version }}-multilib g++-${{ matrix.version }}-multilib
           cd tests
           bash ./run.sh ${{ matrix.compiler }} v${{ matrix.version }} 32
@@ -138,6 +141,7 @@ jobs:
       - uses: actions/checkout@v3
       - name: Run tests
         run: |
+          sudo apt-get update
           sudo apt-get install gcc-multilib g++-multilib
           cd tests
           bash ./run.sh ${{ matrix.compiler }} v${{ matrix.version }} 32