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
32,999 Commits 1 Branch 0 Tags 31 MiB
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Brunel 31563c58c9
All checks were successful
PikaOS Upstream Package Build & Release (amd64-v3 + LTO) / build (push) Successful in 1m22s
Details
coq-serapi=8.20.0+0.20.0-1
2024-11-20 23:22:24 +01:00
.github/workflows
fix
2024-08-26 18:59:23 +03:00
pika-build-config
coq-serapi=8.20.0+0.20.0-1
2024-11-20 23:22:24 +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
Description
No description provided
Languages
Shell 100%