Remove deprecated 32-bit pointer mode (#4791).

This commit is contained in:
Wilson Snyder
2024-01-01 10:16:48 -05:00
committed by GitHub
parent 22de598456
commit 3eaed3b6f5
12 changed files with 21 additions and 111 deletions
-1
View File
@@ -11,7 +11,6 @@ on:
env:
CI_OS_NAME: linux
CI_COMMIT: ${{ github.sha }}
CI_M32: 0
COVERAGE: 1
VERILATOR_ARCHIVE: verilator-coverage-${{ github.sha }}.tar.gz