feature/verification-loop-harness #24

Open
lfabry wants to merge 2 commits from feature/verification-loop-harness into develop
Owner
No description provided.
lfabry self-assigned this 2026-10-09 15:05:08 +00:00
Some checks failed
Vérification / verify (pull_request) Failing after 2m10s
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 feature/verification-loop-harness:feature/verification-loop-harness
git switch feature/verification-loop-harness

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 switch develop
git merge --no-ff feature/verification-loop-harness
git switch feature/verification-loop-harness
git rebase develop
git switch develop
git merge --ff-only feature/verification-loop-harness
git switch feature/verification-loop-harness
git rebase develop
git switch develop
git merge --no-ff feature/verification-loop-harness
git switch develop
git merge --squash feature/verification-loop-harness
git switch develop
git merge --ff-only feature/verification-loop-harness
git switch develop
git merge feature/verification-loop-harness
git push origin develop
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
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
lfabry/LaGuerreDuPeloton!24
No description provided.