ci updates#9

Merged

chrehrhardt merged 6 commits intoCHERI-Alliance:codasip-cheri-riscvfrom

chrehrhardt:codasip-cheri-riscv

Dec 3, 2025

Commits on Dec 3, 2025

ci: Add cheri riscv build configuration
Christian A. Ehrhardt
committed
ci: Run the PtrToIntCast clang-tidy check
Christian A. Ehrhardt
committed
ci: Actually use ccache
Christian A. Ehrhardt
committed
ci: Increase ccache size
Christian A. Ehrhardt
committed
ci: Add one 32-bit build (i386)
Christian A. Ehrhardt
committed
ci: Remove comments on pull requests
Christian A. Ehrhardt
committed