mirror of
https://github.com/pocket-id/pocket-id.git
synced 2025-12-11 07:42:58 +03:00
[PR #541] [MERGED] feat: Update release pipelines (1.0) #757
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/pocket-id/pocket-id/pull/541
Author: @ItalyPaleAle
Created: 5/17/2025
Status: ✅ Merged
Merged: 5/17/2025
Merged by: @stonith404
Base:
v1.0.0← Head:release-pipeline📝 Commits (6)
41a1481feat: Update release pipelines0dd66d5Revert accidental changeda40b20Update per review7126ba6Add comment explaining the use of sedd3fb8d8Forgot to export DOCKER_IMAGE_NAMEa07f720Actually fix it📊 Changes
7 files changed (+84 additions, -38 deletions)
View changed files
📝
.github/workflows/release.yml(+56 -34)📝
Dockerfile(+4 -1)➕
Dockerfile-prebuilt(+20 -0)📝
scripts/development/build-binaries.sh(+4 -3)📝
scripts/development/create-release.sh(+0 -0)📝
scripts/development/deploy-development-image.sh(+0 -0)📝
scripts/docker/entrypoint.sh(+0 -0)📄 Description
Various updates to the release pipeline to make builds fully reproducible, publish attestations, and speed-up container builds.
Dockerfile-prebuiltwhich includes binaries pre-built in the pipeline, rather than re-building the binary for each arch (which can be very slow when running under emulation with QEMU)-buildidwith the version. In addition to-trimpath(already present) makes builds fully reproduciblechmod +xon the.shfiles so it doesn't need to be done when building containers (and they can run locally without issues)🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.