cproof

devs/cproof

Fork 1

master

CI Code / Check spelling (pull_request) Successful in 13s

Details

CI Code / Check coding style (pull_request) Successful in 24s

Details

CI Code / Code Coverage (pull_request) Successful in 3m42s

Details

CI Code / Linux (debian) (pull_request) Successful in 5m13s

Details

CI Code / Linux (ubuntu) (pull_request) Successful in 5m18s

Details

CI Code / Linux (arch) (pull_request) Successful in 6m59s

Details

CI Code / Check spelling (push) Successful in 13s

Details

CI Code / Check coding style (push) Successful in 23s

Details

CI Code / Code Coverage (push) Successful in 3m38s

Details

Publish Docker image / Push Docker image to Docker Hub (push) Successful in 4m46s

Details

CI Code / Linux (debian) (push) Successful in 5m26s

Details

CI Code / Linux (ubuntu) (push) Successful in 5m33s

Details

CI Code / Linux (arch) (push) Successful in 7m10s

Details

2be16df905 · ci(docker): add Docker publishing workflow and Dockerfile · Updated 2026-07-11 17:43:16 +00:00

feat/functest-speedup All checks were successful CI Code / Check spelling (pull_request) Successful in 18s Details CI Code / Check coding style (pull_request) Successful in 32s Details CI Code / Code Coverage (pull_request) Successful in 2m46s Details CI Code / Linux (debian) (pull_request) Successful in 4m30s Details CI Code / Linux (ubuntu) (pull_request) Successful in 4m29s Details CI Code / Linux (arch) (pull_request) Successful in 4m44s Details CI Code / Check spelling (push) Successful in 18s Details CI Code / Check coding style (push) Successful in 33s Details CI Code / Code Coverage (push) Successful in 3m4s Details CI Code / Linux (ubuntu) (push) Successful in 4m29s Details CI Code / Linux (debian) (push) Successful in 4m33s Details CI Code / Linux (arch) (push) Successful in 4m48s Details f84ed1bf6a · perf(functests): speedup — profrc pre-baking, pty-close shutdown, parallel port pools · Updated 2026-03-12 15:20:35 +00:00 jabber.developer2	37 0	#103 Merged	ZIP TAR.GZ
fix/cwe-134-format-string-audit All checks were successful CI Code / Check spelling (pull_request) Successful in 23s Details CI Code / Check coding style (pull_request) Successful in 34s Details CI Code / Code Coverage (pull_request) Successful in 4m48s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m14s Details CI Code / Linux (debian) (pull_request) Successful in 6m15s Details CI Code / Linux (arch) (pull_request) Successful in 6m35s Details d081993c90 · fix: address PR #98 review feedback · Updated 2026-03-07 10:32:02 +00:00 jabber.developer2	45 4	#98 Merged	ZIP TAR.GZ
ci/separate-build-step All checks were successful CI Code / Check coding style (pull_request) Successful in 32s Details CI Code / Check spelling (pull_request) Successful in 24s Details CI Code / Code Coverage (pull_request) Successful in 4m46s Details CI Code / Linux (debian) (pull_request) Successful in 6m5s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m11s Details CI Code / Linux (arch) (pull_request) Successful in 6m25s Details d4254db814 · CI: Separate build and test steps · Updated 2026-03-04 20:04:51 +00:00 jabber.developer2	44 0	#101 Merged	ZIP TAR.GZ
test/autoping-functional-tests All checks were successful CI Code / Check spelling (pull_request) Successful in 22s Details CI Code / Check coding style (pull_request) Successful in 40s Details CI Code / Linux (debian) (pull_request) Successful in 6m59s Details CI Code / Linux (arch) (pull_request) Successful in 7m21s Details CI Code / Linux (ubuntu) (pull_request) Successful in 7m13s Details CI Code / Code Coverage (pull_request) Successful in 10m59s Details CI Code / Check spelling (push) Successful in 20s Details CI Code / Check coding style (push) Successful in 36s Details CI Code / Code Coverage (push) Successful in 5m43s Details CI Code / Linux (ubuntu) (push) Successful in 7m9s Details CI Code / Linux (debian) (push) Successful in 10m5s Details CI Code / Linux (arch) (push) Successful in 12m0s Details 9e1b95a814 · test(disco): remove disco_items_error_handling test · Updated 2026-03-03 15:57:35 +00:00 admin	41 0	#88 Merged	ZIP TAR.GZ
test/db-functional-tests All checks were successful CI Code / Check spelling (pull_request) Successful in 19s Details CI Code / Check coding style (pull_request) Successful in 33s Details CI Code / Code Coverage (pull_request) Successful in 5m31s Details CI Code / Linux (debian) (pull_request) Successful in 6m51s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m54s Details CI Code / Linux (arch) (pull_request) Successful in 7m9s Details b289d1a753 · tests: add functional tests for DB message persistence, rebalance groups · Updated 2026-02-21 12:03:41 +00:00 jabber.developer2	45 1	#96 Closed	ZIP TAR.GZ
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 · fix arch build · Updated 2026-02-18 16:39:25 +00:00 jabber.developer	45 0	#95 Merged	ZIP TAR.GZ
fix/xep-0030-disco-items-error-handling a2a2db7c45 · test(disco): add functional test for disco#items error handling · Updated 2026-02-16 08:16:01 +00:00 jabber.developer2	47 2		ZIP TAR.GZ
fix/xep-0030-empty-disco-items All checks were successful CI Code / Check spelling (pull_request) Successful in 23s Details CI Code / Check coding style (pull_request) Successful in 34s Details CI Code / Code Coverage (pull_request) Successful in 4m45s Details CI Code / Linux (debian) (pull_request) Successful in 6m10s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m17s Details CI Code / Linux (arch) (pull_request) Successful in 6m24s Details CI Code / Check spelling (push) Successful in 17s Details CI Code / Check coding style (push) Successful in 30s Details CI Code / Linux (debian) (push) Successful in 6m16s Details CI Code / Linux (ubuntu) (push) Successful in 6m22s Details CI Code / Linux (arch) (push) Successful in 6m27s Details CI Code / Code Coverage (push) Successful in 9m41s Details 4fce333c9a · fix(xmpp): show message for empty disco#items results (XEP-0030) · Updated 2026-02-10 22:10:55 +00:00 jabber.developer2	47 0	#89 Merged	ZIP TAR.GZ
playground/fix/src_refactoring All checks were successful CI Code / Check spelling (pull_request) Successful in 19s Details CI Code / Check coding style (pull_request) Successful in 33s Details CI Code / Code Coverage (pull_request) Successful in 4m46s Details CI Code / Linux (debian) (pull_request) Successful in 6m8s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m15s Details CI Code / Linux (arch) (pull_request) Successful in 6m23s Details 56dcb54ffc · fix(ui): address PR review comments · Updated 2026-02-06 11:05:59 +00:00 jabber.developer2	49 7	#47 Merged	ZIP TAR.GZ
tests/disco Some checks failed CI Code / Check spelling (pull_request) Successful in 21s Details CI Code / Check coding style (pull_request) Successful in 34s Details CI Code / Code Coverage (pull_request) Failing after 3h14m35s Details CI Code / Linux (ubuntu) (pull_request) Failing after 3h14m37s Details CI Code / Linux (debian) (pull_request) Failing after 3h14m37s Details CI Code / Linux (arch) (pull_request) Failing after 3h14m38s Details 770a46c1c9 · tests: Add disco tests · Updated 2026-02-02 16:43:29 +00:00 jabber.developer	50 1	#99 Closed	ZIP TAR.GZ
fix/test-CI-stability All checks were successful CI Code / Check spelling (pull_request) Successful in 19s Details CI Code / Check coding style (pull_request) Successful in 32s Details CI Code / Code Coverage (pull_request) Successful in 4m45s Details CI Code / Linux (debian) (pull_request) Successful in 6m8s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m15s Details CI Code / Linux (arch) (pull_request) Successful in 6m21s Details a546092a5f · fix: add build names, use TEST_BUILDS constant, redirect errors to stderr · Updated 2026-02-02 13:04:08 +00:00 jabber.developer2	50 7	#79 Merged	ZIP TAR.GZ
feat/parallel-tests-clean All checks were successful CI Code / Check coding style (pull_request) Successful in 32s Details CI Code / Check spelling (pull_request) Successful in 18s Details CI Code / Linux (debian) (pull_request) Successful in 16m1s Details CI Code / Linux (arch) (pull_request) Successful in 21m7s Details CI Code / Linux (ubuntu) (pull_request) Successful in 16m24s Details CI Code / Code Coverage (pull_request) Successful in 15m23s Details 56ede1b45f · refactor: address code review feedback · Updated 2026-01-21 12:33:48 +00:00 jabber.developer2	52 4	#72 Merged	ZIP TAR.GZ
feat/parallel-functional-tests Some checks failed CI Code / Code Coverage (pull_request) Has been cancelled Details CI Code / Linux (arch) (pull_request) Has been cancelled Details CI Code / Linux (ubuntu) (pull_request) Has been cancelled 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 (debian) (pull_request) Has been cancelled Details 01c3205f5d · revert: remove cmocka 2.0 compatibility workaround · Updated 2026-01-19 13:33:22 +00:00 jabber.developer2	52 15	#68 Closed	ZIP TAR.GZ
fix/functional_tests_v2 All checks were successful CI Code / Check coding style (pull_request) Successful in 29s Details CI Code / Check spelling (pull_request) Successful in 17s Details CI Code / Linux (debian) (pull_request) Successful in 1h5m29s Details CI Code / Check coding style (push) Successful in 31s Details CI Code / Check spelling (push) Successful in 17s Details CI Code / Linux (arch) (push) Successful in 1h3m52s Details CI Code / Linux (ubuntu) (pull_request) Successful in 1h4m41s Details CI Code / Linux (arch) (pull_request) Successful in 1h7m14s Details CI Code / Linux (debian) (push) Successful in 1h4m50s Details CI Code / Linux (ubuntu) (push) Successful in 1h5m37s Details a90eef1cb2 · docs: update CONTRIBUTING.md to clarify functional test guidelines · Updated 2026-01-07 10:46:40 +00:00 admin	52 0	#67 Merged	ZIP TAR.GZ
fix/functional_tests All checks were successful CI Code / Check spelling (pull_request) Successful in 20s Details CI Code / Check coding style (pull_request) Successful in 34s Details CI Code / Linux (ubuntu) (pull_request) Successful in 1h7m38s Details CI Code / Linux (debian) (pull_request) Successful in 1h7m54s Details CI Code / Linux (arch) (pull_request) Successful in 1h8m1s Details 737309c888 · fix(tests): complete migration to content-based stubbing in functional tests · Updated 2026-01-06 16:54:36 +00:00 jabber.developer2	61 33	#63 Closed	ZIP TAR.GZ
fix/connect_max_args All checks were successful CI Code / Check spelling (pull_request) Successful in 27s Details CI Code / Check coding style (pull_request) Successful in 36s Details CI Code / Linux (arch) (pull_request) Successful in 14m23s Details CI Code / Linux (debian) (pull_request) Successful in 15m33s Details CI Code / Linux (ubuntu) (pull_request) Successful in 15m46s Details 88b48000f8 · fix(cmd): increase /connect max args from 7 to 9 · Updated 2026-01-06 14:22:53 +00:00 jabber.developer2	60 0	#65 Merged	ZIP TAR.GZ
feat/extended_debug_info All checks were successful CI Code / Check coding style (pull_request) Successful in 35s Details CI Code / Check spelling (pull_request) Successful in 19s Details CI Code / Linux (arch) (pull_request) Successful in 10m40s Details CI Code / Linux (debian) (pull_request) Successful in 15m30s Details CI Code / Linux (ubuntu) (pull_request) Successful in 16m21s Details cd7cee84d3 · fix(xmpp): format debug logging statements for consistency · Updated 2025-11-21 08:21:46 +00:00 jabber.developer2	63 5	#60 Merged	ZIP TAR.GZ
playground/fix/scroll-stuck All checks were successful CI Code / Check spelling (pull_request) Successful in 21s Details CI Code / Check coding style (pull_request) Successful in 54s Details CI Code / Linux (arch) (pull_request) Successful in 10m34s Details CI Code / Linux (debian) (pull_request) Successful in 13m28s Details CI Code / Linux (ubuntu) (pull_request) Successful in 14m0s Details 522db05090 · style(ui,window): format code and tidy comments · Updated 2025-11-04 05:26:35 +00:00 jabber.developer2	63 6	#45 Merged	ZIP TAR.GZ
build/multicore All checks were successful CI Code / Check spelling (pull_request) Successful in 23s Details CI Code / Check coding style (pull_request) Successful in 38s Details CI Code / Linux (arch) (pull_request) Successful in 12m20s Details CI Code / Linux (ubuntu) (pull_request) Successful in 14m59s Details CI Code / Linux (debian) (pull_request) Successful in 15m18s Details 886372caac · build: add cache to ./configure with -C flag · Updated 2025-10-14 09:47:14 +00:00 jabber.developer	68 3	#27 Closed	ZIP TAR.GZ
build/reenable-fedora Some checks failed CI / Check spelling (pull_request) Successful in 17s Details CI / Check coding style (pull_request) Successful in 28s Details CI / Linux (debian) (pull_request) Successful in 10m25s Details CI / Linux (ubuntu) (pull_request) Successful in 10m49s Details CI / Linux (arch) (pull_request) Successful in 13m21s Details CI / Linux (fedora) (pull_request) Failing after 1m3s Details eefebba9b6 · Revert "Temporarily disable Fedora tests" · Updated 2025-08-26 13:47:34 +00:00 admin	106 1	#19 Closed	ZIP TAR.GZ

1 2 3 4

Default Branch

Branches