Comparing 37ca2de308...31538580fb - cproof - CProof Git

devs/cproof

Author	SHA1	Message	Date
Jabber Developer	31538580fb	fix arch build All checks were successful CI Code / Check spelling (pull_request) Successful in 17s Details CI Code / Check coding style (pull_request) Successful in 28s Details CI Code / Linux (debian) (pull_request) Successful in 6m21s Details CI Code / Linux (ubuntu) (pull_request) Successful in 8m59s Details CI Code / Code Coverage (pull_request) Successful in 8m25s Details CI Code / Linux (arch) (pull_request) Successful in 10m31s Details CI Code / Check spelling (push) Successful in 17s Details CI Code / Check coding style (push) Successful in 31s Details CI Code / Linux (debian) (push) Successful in 6m29s Details CI Code / Linux (ubuntu) (push) Successful in 6m33s Details CI Code / Code Coverage (push) Successful in 9m3s Details CI Code / Linux (arch) (push) Successful in 10m31s Details	2026-02-18 17:39:25 +01:00

1 changed files with 0 additions and 1 deletions

									
										1

Dockerfile.arch
									
												View File
												
				@@ -3,7 +3,6 @@ FROM archlinux:latest

				ENV TERM=xterm

				ENV CC="ccache gcc"

				RUN pacman-key --refresh-keys

				RUN pacman -Syyu --noconfirm

				# reflector is optional - if it fails due to network issues, continue with default mirrorlist