devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 6 Actions Packages Projects 1 Releases Wiki Activity
7,620 Commits 62 Branches 0 Tags
4789ada83451b8c7e35e6cd5d8564c02ea7c79c5
Commit Graph

50 Commits

Author SHA1 Message Date
jabber.developer2
4789ada834 ci: fix deprecated lcov option
All checks were successful
CI Code / Check spelling (pull_request) Successful in 21s
Details
CI Code / Check coding style (pull_request) Successful in 35s
Details
CI Code / Code Coverage (pull_request) Successful in 15m29s
Details
CI Code / Linux (ubuntu) (pull_request) Successful in 18m0s
Details
CI Code / Linux (debian) (pull_request) Successful in 18m19s
Details
CI Code / Linux (arch) (pull_request) Successful in 20m21s
Details 
Change lcov_branch_coverage to branch_coverage (new syntax)
 2026-01-19 16:29:38 +03:00
jabber.developer2
f6b621ad40 ci: add branch coverage to lcov
All checks were successful
CI Code / Check spelling (pull_request) Successful in 19s
Details
CI Code / Check coding style (pull_request) Successful in 37s
Details
CI Code / Code Coverage (pull_request) Successful in 15m56s
Details
CI Code / Linux (ubuntu) (pull_request) Successful in 18m20s
Details
CI Code / Linux (debian) (pull_request) Successful in 18m42s
Details
CI Code / Linux (arch) (pull_request) Successful in 20m9s
Details 
Enable branch coverage with --rc lcov_branch_coverage=1.
This provides more detailed coverage metrics:
- Line coverage: % of code lines executed
- Function coverage: % of functions called
- Branch coverage: % of if/else/switch branches taken

Branch coverage is a step towards MC/DC (Modified Condition/Decision Coverage)
used in safety-critical systems.

Also add coverage/ to .gitignore.
 2026-01-19 15:53:52 +03:00
jabber.developer2
d80092821b ci: add functional tests to coverage + fix lcov errors
All checks were successful
CI Code / Check spelling (pull_request) Successful in 19s
Details
CI Code / Check coding style (pull_request) Successful in 35s
Details
CI Code / Code Coverage (pull_request) Successful in 15m28s
Details
CI Code / Linux (ubuntu) (pull_request) Successful in 18m1s
Details
CI Code / Linux (debian) (pull_request) Successful in 18m16s
Details
CI Code / Linux (arch) (pull_request) Successful in 20m20s
Details 
1. Add 'make check-functional-parallel' to coverage job
   - Unit tests alone cover ~27% (mostly utilities)
   - Functional tests exercise UI, XMPP, and full application flow
   - Should significantly increase coverage

2. Fix lcov errors:
   - Remove /usr/lib/* pattern (unused, causes error)
   - Add 'unused' to --ignore-errors
 2026-01-17 19:10:24 +03:00
jabber.developer2
ca5835c58e ci: fix coverage lcov exclude pattern
Some checks failed
CI Code / Check spelling (pull_request) Successful in 19s
Details
CI Code / Check coding style (pull_request) Successful in 35s
Details
CI Code / Code Coverage (pull_request) Failing after 14m46s
Details
CI Code / Linux (ubuntu) (pull_request) Successful in 18m1s
Details
CI Code / Linux (debian) (pull_request) Successful in 18m16s
Details
CI Code / Linux (arch) (pull_request) Successful in 20m5s
Details 
The code is built in /usr/src/profanity/ inside Docker, so
excluding '/usr/*' removes all source files!

Fix: exclude only system headers/libs (/usr/include/*, /usr/lib/*),
not the entire /usr/ tree.

Also add --ignore-errors empty to handle edge cases.
 2026-01-17 18:37:01 +03:00
jabber.developer2
1d113c4d64 ci: run coverage on PRs too, not just master push
Some checks failed
CI Code / Check spelling (pull_request) Successful in 18s
Details
CI Code / Check coding style (pull_request) Successful in 30s
Details
CI Code / Linux (ubuntu) (pull_request) Successful in 18m7s
Details
CI Code / Linux (debian) (pull_request) Successful in 18m25s
Details
CI Code / Linux (arch) (pull_request) Successful in 20m32s
Details
CI Code / Code Coverage (pull_request) Failing after 12m34s
Details
2026-01-17 18:13:47 +03:00
jabber.developer2
f41888b7a5 feat: add code coverage support
All checks were successful
CI Code / Code Coverage (pull_request) Has been skipped
Details
CI Code / Check spelling (pull_request) Successful in 20s
Details
CI Code / Check coding style (pull_request) Successful in 33s
Details
CI Code / Linux (ubuntu) (pull_request) Successful in 18m16s
Details
CI Code / Linux (debian) (pull_request) Successful in 18m27s
Details
CI Code / Linux (arch) (pull_request) Successful in 20m58s
Details 
- Add --enable-coverage option to configure.ac
- Add coverage and coverage-html targets to Makefile.am
- Add coverage CI job with Codecov upload
- Add lcov to all Dockerfiles (arch, debian, fedora, tumbleweed, ubuntu)

Usage:
  ./configure --enable-coverage
  make check
  make coverage-html
 2026-01-17 17:45:34 +03:00
jabber.developer2
16d4efbccc ci: disable Docker cache to test cmocka 2.0 breakage 
Add --no-cache to docker build to force fresh image build with
latest cmocka 2.0.1 from debian:testing.
 2026-01-16 18:15:45 +03:00
Jabber Developer
9fd62e2304 ci: restructure and optimize execution conditions
Some checks failed
CI API Docs / Test C API Documentation Generation (pull_request) Successful in 26s
Details
CI API Docs / Test Python API Documentation Generation (pull_request) Failing after 28s
Details
CI Code / Check coding style (pull_request) Has been cancelled
Details
CI Code / Check spelling (pull_request) Has been cancelled
Details
CI Code / Linux (arch) (pull_request) Has been cancelled
Details
CI Code / Linux (debian) (pull_request) Has been cancelled
Details
CI Code / Linux (ubuntu) (pull_request) Has been cancelled
Details 
- The code tests will ignore doc changes and vice versa.
- The CI is split in 2 parts for clarity
 2025-09-17 01:00:30 +02:00
Jabber Developer
c94cd0b549 ci: add GitHub Actions workflow to test C and Python API doc generation 
Introduce separate jobs to test C (Doxygen) and Python (Sphinx) API documentation generation. Ensures build failures are caught early, as API changes often produce warnings that developers miss without automated checks.
 2025-09-10 19:05:32 +02:00
Michael Vetter
f419e65fad Update issue templates 
According to the new way: https://docs.github.com/en/communities/using-templates-to-encourage-useful-issues-and-pull-requests/about-issue-and-pull-request-templates

(cherry picked from commit 5dcbd84f75)
 2025-09-10 14:18:01 +02:00
Michael Vetter
110b3d27b4 Rename issue template 
Seems like GH changed how the templates work.

(cherry picked from commit f1e12a33cf)
 2025-09-10 14:17:15 +02:00
Jabber Developer
a3e23c3514 Temporarily disable Fedora tests
All checks were successful
CI / Check spelling (pull_request) Successful in 15s
Details
CI / Check coding style (pull_request) Successful in 28s
Details
CI / Linux (arch) (pull_request) Successful in 11m52s
Details
CI / Linux (ubuntu) (pull_request) Successful in 11m59s
Details
CI / Linux (debian) (pull_request) Successful in 12m2s
Details
CI / Check spelling (push) Successful in 17s
Details
CI / Check coding style (push) Successful in 30s
Details
CI / Linux (ubuntu) (push) Successful in 10m9s
Details
CI / Linux (arch) (push) Successful in 12m4s
Details
CI / Linux (debian) (push) Successful in 13m0s
Details 
They are failing on our runners due to issues with dependency resolution.
 2025-08-07 03:27:14 +02:00
Jabber Developer
b4d3563b96 Cleanup (#5)
All checks were successful
CI / Check coding style (push) Successful in 29s
Details
CI / Check spelling (push) Successful in 16s
Details
CI / Linux (debian) (push) Successful in 9m35s
Details
CI / Linux (arch) (push) Successful in 11m27s
Details
CI / Linux (fedora) (push) Successful in 13m57s
Details
CI / Linux (ubuntu) (push) Successful in 11m21s
Details 
- Update formatting for stub files
- Update docs

While original project, Profanity, provides valuable basis for this
fork, we are not affiliated with the upstream. This commit
is updating documentation to reflect accurate information.

The docs are going to be updated further once the website is created.

Reviewed-on: devs/profanity#5
Co-authored-by: Jabber Developer <jabber.developer@jabber.space>
Co-committed-by: Jabber Developer <jabber.developer@jabber.space>
 2025-06-20 18:20:47 +00:00
Jabber Developer
0784662d40 Fix workflow 
Current setup of the infratstrcture with DIND
was causing issues with volume binding,
leading to a false-positive error on code formatting check.

This commit addresses the issue by removing dependency on a container,
but at the same time it limits choice of formatting version.

This fix does not address the underlying issue with the architecture.

As an additional change, package versions are updated.
 2025-06-20 14:54:12 +02:00
Michael Vetter
5b9516b483 Merge pull request #2022 from profanity-im/fixes 
Memory fixes
 2025-03-13 09:58:09 +01:00
Michael Vetter
b5f0cc0bd4 Fix more potential leaks in aesgcm_download 2025-03-13 09:48:27 +01:00
Steffen Jaeckel
ef476cbf96 Cancel all running build jobs on force-push of a PR branch 
Signed-off-by: Steffen Jaeckel <s@jaeckel.eu>
 2025-03-12 10:15:39 +01:00
Michael Vetter
d7398d11e1 ci: re-enable arch 
This reverts commit 3def839c0e.
 2025-01-05 18:39:58 +01:00
Michael Vetter
a4cbf3e4c5 ci: disable macOS for now 
We get some build fails there and I don't see what's the problem on a
first glance. Noone else stepped up neither.
 2024-06-14 13:24:24 +02:00
Michael Vetter
57c8969de0 Expand issue template 
Include libstrophe version and server software used.
 2024-04-10 14:54:38 +02:00
Steffen Jaeckel
4c26462827 Ensure instances of auto types are initialized 
Follow-up of #1913

Signed-off-by: Steffen Jaeckel <jaeckel-floss@eyet-services.de>
 2023-11-06 22:22:35 +01:00
Steffen Jaeckel
970cb706fb Minor changes 
* slightly improve PR template
* update gitignore

Signed-off-by: Steffen Jaeckel <jaeckel-floss@eyet-services.de>
 2023-10-04 17:02:10 +02:00
Michael Vetter
35c3068a2d ci: reenable macos 
This reverts commit a815e251b6.
 2023-08-25 19:36:29 +02:00
Michael Vetter
a815e251b6 ci: disable macos until they have libstrophe 0.12.3 in brew 2023-08-03 08:45:41 +02:00
Michael Vetter
181772bd5c Add spellcheck to CI 2023-04-15 12:03:57 +02:00
Michael Vetter
663c773bff Switch to clang-format check action 
Instead of running clang-format outselves on the old Ubuntu version.
This let's us easily configure which version of clang-format we want to
execute.

Used action:
https://github.com/marketplace/actions/clang-format-check

Properly fix:
https://github.com/profanity-im/profanity/pull/1774
 2023-04-14 21:43:31 +02:00
Michael Vetter
4f94898611 Add test/valgrind section to PR template 2023-04-10 20:47:55 +02:00
Michael Vetter
4786073171 ci: disable TW 
TW curently has problems:
```
Problem: the to be installed sqlite3-devel-3.39.2-1.2.x86_64 requires 'libsqlite3-0 = 3.39.2', but this requirement cannot be provided
  not installable providers: libsqlite3-0-3.39.2-1.2.i586[repo-oss]
                   libsqlite3-0-3.39.2-1.2.x86_64[repo-oss]
```
 2022-09-07 12:22:32 +02:00
Michael Vetter
cdebb559bb ci: enable tumbleweed 
This reverts commit 5c5c453219.

And removes the old python(2) pull in.

For some reason we get:
`Package python3-embed was not found in the pkg-config search path.`
with python38-devel but not with python310-devel. Let's bump it to that
version.
 2022-08-18 15:02:36 +02:00
Michael Vetter
8f2f0edf7a ci: enable macos ci 
This reverts commit d5bb93b927.
 2022-08-09 13:37:40 +02:00
Michael Vetter
d5bb93b927 ci: disable macos until they have libstrophe 0.12.2 2022-08-08 14:09:10 +02:00
Michael Vetter
2394d033b9 ci: Remove TW for now 
Until they fixed this:
```
Problem: the to be installed ncurses-devel-6.3.20220604-20.1.x86_64 requires 'libncurses6 = 6.3.20220604-20.1', but this requirement cannot be provided
Problem: the to be installed gtk2-devel-2.24.33-2.8.x86_64 requires 'pkgconfig(cairo)', but this requirement cannot be provided
Problem: the to be installed ncurses-devel-6.3.20220604-20.1.x86_64 requires 'libncurses6 = 6.3.20220604-20.1', but this requirement cannot be provided
  not installable providers: libncurses6-6.3.20220604-20.1.i586[repo-oss]
                   libncurses6-6.3.20220604-20.1.x86_64[repo-oss]
 Solution 1: downgrade of libncurses6-6.3.20220604-20.2.x86_64 to libncurses6-6.3.20220604-20.1.x86_64
 Solution 2: do not install ncurses-devel-6.3.20220604-20.1.x86_64
 Solution 3: break ncurses-devel-6.3.20220604-20.1.x86_64 by ignoring some of its dependencies
```
 2022-06-16 20:16:04 +02:00
Steffen Jaeckel
67fa33ba4e add CI job to check coding style 
Signed-off-by: Steffen Jaeckel <jaeckel-floss@eyet-services.de>
 2022-03-30 18:26:10 +02:00
Michael Vetter
fc1a24b9fa Add Pull Request template 2022-02-18 18:11:51 +01:00
Michael Vetter
7500100a5b Remove Patreon 2022-02-16 12:21:18 +01:00
Michael Vetter
05435d2714 ci: re-enable tumblweed 
Old docker/libseccomp from GH got updated.

This reverts commit 5c5c453219.
 2021-12-03 16:50:00 +01:00
Michael Vetter
d6633e0920 ci: re-enable ubuntu 
This reverts commit cc206ee8cc.
 2021-12-03 16:14:26 +01:00
Michael Vetter
a980ab14a0 ci: re-enable macos 
They have libstrophe 0.11.0 now.
This reverts commit 472a3ceec4.
 2021-12-03 15:56:56 +01:00
Michael Vetter
472a3ceec4 ci: disable osx until they updated libstrophe 2021-10-28 20:15:40 +02:00
Michael Vetter
cc206ee8cc ci: remove ubuntu 
Fails and I don't have time to check why.
Something package related most likely.
 2021-10-22 16:57:24 +02:00
Michael Vetter
27e598e957 gh: fix typo in issue template 2021-06-10 13:52:24 +02:00
Michael Vetter
642fbf4118 gh: 50 issue feature request ban 2021-06-10 00:03:57 +02:00
Michael Vetter
5c5c453219 Disable Tumbleweed CI 
```
 (248/297) Installing: system-group-hardware-20170617-19.2.noarch [..error]
Installation of system-group-hardware-20170617-19.2.noarch failed:
Error: Subprocess failed. Error: RPM failed: ERROR: neither groupadd nor busybox found!
error: %prein(system-group-hardware-20170617-19.2.noarch) scriptlet failed, exit status 1
error: system-group-hardware-20170617-19.2.noarch: install failed

Abort, retry, ignore? [a/r/i] (a): a
Warning: %posttrans scripts skipped while aborting:
    pam-1.5.1-2.2.x86_64.rpm
    shadow-4.8.1-5.2.x86_64.rpm
```

Seems to be a bug in old docker/libseccomp from GH.
 2021-02-17 19:30:26 +01:00
Michael Vetter
3def839c0e Disable Arch CI 
Again something wrong this Arch.
Not time to invest right now but we need a working CI for PRs.
 2021-02-17 16:24:59 +01:00
William Wennerström
81c02d1231 Switch from Travis CI to GitHub Actions 
Travis have been slow and the macOS runner is outdated (and a bunch of
other recurring issues).
 2020-12-17 15:09:25 +01:00
Michael Vetter
601baa09b5 Lift 50 issues ban :-) 2020-02-03 16:25:10 +01:00
Michael Vetter
5490d148b9 Add my GitHub Sponsors URL 2019-11-05 17:36:05 +01:00
Michael Vetter
f023eb8d72 Dont allow new issues 2019-10-22 11:13:41 +02:00
Michael Vetter
ef86ec6240 Move ISSUE_TEMPLATE into github folder 2019-08-23 09:57:14 +02:00
Michael Vetter
0fb94042ae Add FUNDING.ymlg 2019-06-06 08:46:34 +02:00