devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 6 Actions Packages Projects 1 Releases Wiki Activity

Fix arch build #95

Manually merged
jabber.developer merged 1 commits from fix/arch-build into master 2026-02-18 16:56:36 +00:00
Conversation 1 Commits 1 Files Changed 1 -1
jabber.developer commented 2026-02-18 16:40:27 +00:00
Owner
Copy Link

Fixes #93

Fixes #93
jabber.developer added 1 commit 2026-02-18 16:40:28 +00:00
fix arch build
All checks were successful
CI Code / Check spelling (pull_request) Successful in 17s
Details
CI Code / Check coding style (pull_request) Successful in 28s
Details
CI Code / Linux (debian) (pull_request) Successful in 6m21s
Details
CI Code / Linux (ubuntu) (pull_request) Successful in 8m59s
Details
CI Code / Code Coverage (pull_request) Successful in 8m25s
Details
CI Code / Linux (arch) (pull_request) Successful in 10m31s
Details
CI Code / Check spelling (push) Successful in 17s
Details
CI Code / Check coding style (push) Successful in 31s
Details
CI Code / Linux (debian) (push) Successful in 6m29s
Details
CI Code / Linux (ubuntu) (push) Successful in 6m33s
Details
CI Code / Code Coverage (push) Successful in 9m3s
Details
CI Code / Linux (arch) (push) Successful in 10m31s
Details
31538580fb
jabber.developer2 approved these changes 2026-02-18 16:54:44 +00:00
jabber.developer manually merged commit 31538580fb into master 2026-02-18 16:56:36 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
jabber.developer2
Labels
Clear labels
Compat/Breaking
Breaking change that won't be backward compatible
Kind/Bug
Something is not working
Kind/Documentation
Documentation changes
Kind/Enhancement
Improve existing functionality
Kind/Feature
New functionality
Kind/Security
This is security issue
Kind/Testing
Issue or pull request related to testing
Priority
Critical
1
The priority is critical
Priority
High
2
The priority is high
Priority
Low
4
The priority is low
Priority
Medium
3
The priority is medium
Reviewed
Confirmed
1
Issue has been confirmed
Reviewed
Duplicate
2
This issue or pull request already exists
Reviewed
Invalid
3
Invalid issue
Reviewed
Won't Fix
3
This issue won't be fixed
Status
Abandoned
3
Somebody has started to work on this but abandoned work
Status
Blocked
1
Something is blocking this issue or pull request
Status
Need More Info
2
Feedback is required to reproduce issue or to continue work
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
admin jabber.developer jabber.developer2
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: devs/cproof#95
No description provided.
Delete Branch "fix/arch-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?