Comparing 266f5aa046...fa3beddadb - cproof - CProof Git

devs/cproof

Author	SHA1	Message	Date
Jabber Developer	fa3beddadb	Fix arch build by adding `pacman-key --init` Some checks failed CI Code / Linux (arch) (pull_request) Failing after 29s Details CI Code / Check spelling (pull_request) Successful in 51s Details CI Code / Check coding style (pull_request) Successful in 2m7s Details CI Code / Linux (ubuntu) (pull_request) Successful in 17m55s Details CI Code / Linux (debian) (pull_request) Successful in 23m49s Details	2025-10-29 18:23:41 +01:00

1 changed files with 1 additions and 0 deletions

									
										1

Dockerfile.arch
									
												View File
												
				@@ -1,5 +1,6 @@

				FROM archlinux

				RUN pacman-key --init

				RUN pacman -Syu --noconfirm && pacman -S --needed --noconfirm \

				  autoconf \

				  autoconf-archive \