mirror of
https://github.com/ultimatepp/ultimatepp.git
synced 2026-05-15 14:16:07 -06:00
[PR #102] [MERGED] Initial Circle CI Integration #154
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#154
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/102
Author: @klugier
Created: 9/29/2022
Status: ✅ Merged
Merged: 9/29/2022
Merged by: @klugier
Base:
master← Head:klugier/circle-ci-integration📝 Commits (10+)
23f55c3First circleci script.3e46d70dependenciesa494750.fix63d4791admin priviliges5da2198more cores3edf5d4system ignore result 1996902etest23dfe17another test1a44fecNumber of CPU's2296ae1.typo📊 Changes
2 files changed (+16 additions, -1 deletions)
View changed files
➕
.circleci/config.yml(+15 -0)📝
uppsrc/ide/Debuggers/Gdb.cpp(+1 -1)📄 Description
CircleCI allow us to build each commit and especially commits from master branch. In the version dedicated to open source it can only works within Linux environment. Resource are also limited, but it offers 4 cores and 8 GB of RAM, which is sufficient to build TheIDE.
My implementation runs TheIDE and UMK makiles. In the future it can be extended for more advanced things such as running auto-test scripts.
Image cimg/base:2022.09 offers Clang 11, which is sufficient for our needs.
No more DDUMPS :)
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.