Comparing 4fce333c9a...2935d73b1b - cproof - CProof Git

devs/cproof

Author	SHA1	Message	Date
Jabber Developer	2935d73b1b	ci: fix arch build Some checks failed CI Code / Check spelling (pull_request) Successful in 21s Details CI Code / Check coding style (pull_request) Successful in 35s Details CI Code / Linux (arch) (pull_request) Failing after 43s Details CI Code / Linux (debian) (pull_request) Successful in 6m17s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m25s Details CI Code / Code Coverage (pull_request) Has been cancelled Details	2026-02-16 16:30:37 +01:00

1 changed files with 1 additions and 0 deletions

									
										1

Dockerfile.arch
									
												View File
												
				@@ -18,6 +18,7 @@ RUN pacman -S --needed --noconfirm \

				  check \

				  cmake \

				  cmocka \

				  glibc \

				  lcov \

				  curl \

				  debuginfod \