repo-tools/run-upstream-build
2
0
Fork 0
generated from general-packages/pika-pkg-template
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
7a6bf688f7
run-upstream-build/pika-build-config
History
Brunel 7a6bf688f7
Some checks failed
PikaOS Upstream Package Build & Release (amd64-v3) / build (push) Failing after 1m6s
Details
docker.io=26.1.4+dfsg1-9
2024-08-04 15:18:01 +02:00
..
i386.sh webkit2gtk=2.44.2-1 2024-08-04 10:33:23 +02:00
i386setup.sh Update pika-build-config/i386setup.sh 2024-08-03 23:42:00 +02:00
lto.sh coq-iris=4.2.0-3 2024-08-04 14:25:30 +02:00
ltosetup.sh Update pika-build-config/ltosetup.sh 2024-08-03 19:13:42 +02:00
v3.sh docker.io=26.1.4+dfsg1-9 2024-08-04 15:18:01 +02:00
v3setup.sh Update pika-build-config/v3setup.sh 2024-08-03 19:15:22 +02:00