mirror of
https://github.com/Drop-OSS/drop.git
synced 2026-07-21 16:15:24 -04:00
[PR #144] [MERGED] Fix Github Release CI #236
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/Drop-OSS/drop/pull/144
Author: @DecDuck
Created: 7/25/2025
Status: ✅ Merged
Merged: 7/31/2025
Merged by: @DecDuck
Base:
develop← Head:fix-github-ci📝 Commits (7)
c73bbebfix: attempt fix from https://github.com/reproducible-containers/buildkit-cache-dance944b4c3fix: lint37da989Merge branch 'develop' into fix-github-ci0d1fa7cfix: migrate to pnpm to see if it builds5250c5bfix: comment out unified deps builderb183d45fix: remove dependency on deps094d5e8fix: shamefully hoist deps📊 Changes
5 files changed (+36 additions, -16 deletions)
View changed files
📝
.github/workflows/release.yml(+16 -0)📝
Dockerfile(+18 -13)📝
build/launch.sh(+1 -1)📝
package.json(+0 -1)📝
yarn.lock(+1 -1)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.