rparodi/ft_ping
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

ci(workflow/build) #1

Open
raphael wants to merge 4 commits from ci/build into main
pull from: ci/build
merge into: rparodi:main
Conversation 0 Commits 4 Files changed 1 +25
raphael commented 2026-03-30 19:39:20 +02:00
Owner
Copy link

Adding a CI on the project using the same compiler of 42

Adding a CI on the project using the same compiler of 42
raphael self-assigned this 2026-03-30 19:39:20 +02:00
raphael added 3 commits 2026-03-30 19:39:21 +02:00
ci(gh/workflow): testing workflow on forgejo
Some checks failed
Build / build (push) Failing after 5s
Details
85d79529bc
ci(gh/workflow): adding the default compilator at 42
Some checks failed
Build / build (push) Failing after 3s
Details
a54b4dc4c7
feat(gh/workflow): adding the installation of clang
All checks were successful
Build / build (push) Successful in 26s
Details
Build / build (pull_request) Successful in 25s
Details
a5bec11817
raphael added 1 commit 2026-03-30 20:41:02 +02:00
ci(gh/workflow): now running on forty-two env
Some checks failed
Build / build (push) Failing after 3s
Details
Build / build (pull_request) Failing after 2s
Details
785d8ea44b
Some checks failed
Build / build (push) Failing after 3s
Details
Build / build (pull_request) Failing after 2s
Details
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin ci/build:ci/build
git checkout ci/build

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git checkout main
git merge --no-ff ci/build
git checkout ci/build
git rebase main
git checkout main
git merge --ff-only ci/build
git checkout ci/build
git rebase main
git checkout main
git merge --no-ff ci/build
git checkout main
git merge --squash ci/build
git checkout main
git merge --ff-only ci/build
git checkout main
git merge ci/build
git push origin main
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
raphael
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: rparodi/ft_ping#1
No description provided.
Delete branch "ci/build"

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?