repo-tools/run-upstream-build
2
0
Fork 0
generated from general-packages/pika-pkg-template
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
run-upstream-build/pika-build-config
History
Brunel 49342669ae
All checks were successful
PikaOS Upstream Package Build & Release (amd64-v3 + LTO) / build (push) Successful in 58s
Details
coq-equations=1.3.1-8.20-1
2024-11-20 23:11:15 +01:00
..
amd64_nest.sh
Update pika-build-config/amd64_nest.sh
2024-08-26 18:05:06 +02:00
amd64.sh
coq-interval=4.11.1-1
2024-11-20 20:25:11 +01:00
amd64setup.sh
Update pika-build-config/amd64setup.sh
2024-10-02 21:46:28 +02:00
i386_nest.sh
nest straight builds
2024-08-26 18:46:22 +03:00
i386.sh
Update pika-build-config/i386.sh
2024-11-13 21:30:57 +01:00
i386setup.sh
Update pika-build-config/i386setup.sh
2024-10-02 21:46:39 +02:00
lto_nest.sh
Update pika-build-config/lto_nest.sh
2024-11-14 22:58:21 +01:00
lto.sh
coq-equations=1.3.1-8.20-1
2024-11-20 23:11:15 +01:00
ltosetup.sh
Update pika-build-config/ltosetup.sh
2024-11-15 16:54:08 +01:00
v3_nest.sh
Update pika-build-config/v3_nest.sh
2024-10-23 13:34:01 +02:00
v3.sh
coq-corn=8.19.0+ds1-2
2024-11-20 19:36:30 +01:00
v3setup.sh
Update pika-build-config/v3setup.sh
2024-10-02 21:46:51 +02:00