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
33,044 Commits 1 Branch 0 Tags 24 MiB
Shell 100%
7f22ec5e57
Go to file
Brunel 7f22ec5e57
All checks were successful
PikaOS Upstream Package Build & Release (amd64-v3 + LTO) / build (push) Successful in 7m29s
Details
coq-iris=4.3.0-1
2024-11-21 00:54:47 +01:00
.github/workflows fix 2024-08-26 18:59:23 +03:00
pika-build-config coq-iris=4.3.0-1 2024-11-21 00:54:47 +01:00
pika-pbuilder add normal build 2024-08-09 00:24:37 +03:00
fetch.sh Update fetch.sh 2024-08-09 22:32:23 +02:00
LICENSE.md Initial commit 2024-07-27 20:12:37 +02:00
main.sh Update main.sh 2024-11-13 21:17:51 +01:00
native.sh Update native.sh 2024-08-09 20:14:34 +02:00
pbuilder.sh add normal build 2024-08-09 00:24:37 +03:00
release_nest.sh nest straight builds 2024-08-26 18:46:22 +03:00
release.sh filter all debs on i386 2024-08-02 23:08:31 +02:00