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
3,734 Commits 1 Branch 0 Tags 33 MiB
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Brunel 02c0bb1e09
All checks were successful
PikaOS Upstream Package Build & Release (amd64-v3 + LTO) / build (push) Successful in 34s
Details
coq-hammer=1.3.2+8.19-2
2024-08-04 00:24:34 +02:00
.github/workflows
Update .github/workflows/i386.yml
2024-07-31 21:36:56 +02:00
patches
add patch and reversion system
2024-07-27 23:28:56 +03:00
pika-build-config
coq-hammer=1.3.2+8.19-2
2024-08-04 00:24:34 +02:00
LICENSE.md
Initial commit
2024-07-27 20:12:37 +02:00
main.sh
Update main.sh
2024-08-03 18:17:35 +02:00
release.sh
filter all debs on i386
2024-08-02 23:08:31 +02:00
series
initial attempt
2024-07-27 19:48:07 +01:00
Description
No description provided
Languages
Shell 100%