mirror of
https://github.com/ultimatepp/ultimatepp.git
synced 2026-05-15 14:16:07 -06:00
[PR #108] [CLOSED] Artifacts with build essentia #159
Labels
No labels
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: github-starred/ultimatepp#159
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
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/ultimatepp/ultimatepp/pull/108
Author: @klugier
Created: 10/12/2022
Status: ❌ Closed
Base:
master← Head:klugier/circle-ci-build-artifacts📝 Commits (6)
b1ae0fcArtifacts with build-essential creation.f75ae91.another attempt815ab11.cosmeticsce7c9a0.debugbe689df.another attempt9740e07.fix📊 Changes
2 files changed (+27 additions, -6 deletions)
View changed files
📝
.circleci/config.yml(+26 -5)📝
uppsrc/ide/Debuggers/GdbCmd.cpp(+1 -1)📄 Description
The main aim of this PR is to improve our circleci build process to generate artifacts. The artifact posses minimal amount of data to build other upp applications. It can be used for other upp projects such as UppHub repositories.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.