This website requires JavaScript.
Explore
Help
Sign In
devs
/
cproof
Watch
1
Star
2
Fork
1
You've already forked cproof
Code
Issues
43
Pull Requests
6
Actions
Packages
Projects
1
Releases
Wiki
Activity
All Workflows
ci-api-docs.yml
ci-code.yml
docker-publish.yml
Actor
All actors
admin
jabber.developer
jabber.developer2
Status
All status
Success
Failure
Waiting
Running
fix(ai): align ai_list_providers with documented contract
ci-code.yml #352
:
Commit
93ad7379e2
pushed by
jabber.developer
#113
2026-04-30 19:17:16 +00:00
7m4s
Revert build: enable -Wconversion/-Wsign-compare and add --enable-sanitizers
ci-code.yml #344
:
Commit
a7ad9ac0a4
pushed by
jabber.developer2
#105
2026-04-28 15:56:34 +00:00
5m5s
fix: address open PR #105 review comments (leaks + null safety)
ci-code.yml #343
:
Commit
60da899bd9
pushed by
jabber.developer2
#105
2026-04-28 14:41:51 +00:00
7m30s
fix(subprojects): point libstrophe.wrap at libstrophe-gh-mirror
ci-code.yml #342
:
Commit
1e372f6fa8
pushed by
jabber.developer2
#105
2026-04-28 07:46:18 +00:00
10m14s
ci: fix Valgrind startup failure on Arch via DEBUGINFOD_URLS
ci-code.yml #340
:
Commit
c815c39cdd
pushed by
jabber.developer2
#105
2026-04-24 12:51:17 +00:00
8m46s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #338
:
Commit
0feacbc9da
pushed by
jabber.developer
master
2026-04-21 14:08:06 +00:00
7m45s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #337
:
Commit
0feacbc9da
pushed by
jabber.developer
#108
2026-04-21 13:54:52 +00:00
9m52s
Revert "build(pikaur): Fix failure due to duplicated flag and warnings"
ci-code.yml #335
:
Commit
4a59ccaa80
pushed by
jabber.developer
#108
2026-04-20 06:07:07 +00:00
7m20s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #333
:
Commit
8c6c9f4f42
pushed by
jabber.developer
#108
2026-04-18 16:56:52 +00:00
9m52s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #331
:
Commit
8c6c9f4f42
pushed by
jabber.developer
#108
2026-04-18 16:24:22 +00:00
10m28s
build(pikaur): Fix failure due to duplicated flag and warnings
ci-code.yml #328
:
Commit
0722dc9e36
pushed by
jabber.developer
master
2026-04-13 20:13:02 +00:00
10m28s
build(pikaur): Fix failure due to duplicated flag and warnings
ci-code.yml #327
:
Commit
0722dc9e36
pushed by
jabber.developer
#106
2026-04-13 20:02:56 +00:00
9m33s
Merge upstream/master into merge/upstream-full
ci-code.yml #326
:
Commit
4319172758
pushed by
jabber.developer2
#105
2026-04-11 10:55:05 +00:00
9m31s
test(functests): migration/MUC/timestamp tests, group rebalancing
ci-code.yml #310
:
Commit
58002409ff
pushed by
jabber.developer2
#94
2026-03-19 16:15:36 +00:00
9m29s
fix(functests): fix send_receipt_request 60s timeout, rebalance groups, add per-test timing
ci-code.yml #309
:
Commit
2b1b70665b
pushed by
jabber.developer2
#94
2026-03-12 18:08:13 +00:00
5m15s
test: add database stress tests (14 tests, rapid writes, large messages, LMC chains, dedup)
ci-code.yml #308
:
Commit
0d38a0a2cb
pushed by
jabber.developer2
#94
2026-03-12 16:05:05 +00:00
6m7s
perf(functests): speedup — profrc pre-baking, pty-close shutdown, parallel port pools
ci-code.yml #307
:
Commit
f84ed1bf6a
pushed by
admin
master
2026-03-12 15:40:20 +00:00
4m48s
perf(functests): speedup — profrc pre-baking, pty-close shutdown, parallel port pools
ci-code.yml #306
:
Commit
f84ed1bf6a
pushed by
jabber.developer2
#103
2026-03-12 15:25:25 +00:00
4m44s
perf(functests): speedup — profrc pre-baking, pty-close shutdown, parallel port pools
ci-code.yml #305
:
Commit
24f7141c98
pushed by
jabber.developer2
#103
2026-03-12 15:13:21 +00:00
6m45s
perf(functests): speedup — profrc pre-baking, pty-close shutdown, parallel port pools
ci-code.yml #303
:
Commit
d98f270cb6
pushed by
jabber.developer2
#103
2026-03-12 14:41:08 +00:00
4m48s
perf(functests): speedup — profrc pre-baking, pty-close shutdown, parallel port pools
ci-code.yml #302
:
Commit
ce94d89250
pushed by
jabber.developer2
#103
2026-03-12 10:37:49 +00:00
10m17s
test: add database stress tests (14 tests, rapid writes, large messages, LMC chains, dedup)
ci-code.yml #300
:
Commit
0274f52943
pushed by
jabber.developer2
#94
2026-03-12 08:28:39 +00:00
13m59s
perf: O(1) dedup/LMC cache, g_slist_append → prepend+reverse
ci-code.yml #299
:
Commit
1583b8de9c
pushed by
jabber.developer2
#94
2026-03-12 07:29:31 +00:00
13m55s
style: apply clang-format and const qualifiers from master
ci-code.yml #298
:
Commit
16476676f0
pushed by
jabber.developer2
#94
2026-03-09 10:04:59 +00:00
8m56s
fix: CWE-134 format string audit and compiler hardening
ci-code.yml #296
:
Commit
9ec01fa8cc
pushed by
admin
master
2026-03-07 11:03:17 +00:00
7m20s
fix: address PR #98 review feedback
ci-code.yml #295
:
Commit
d081993c90
pushed by
jabber.developer2
#98
2026-03-07 10:38:52 +00:00
6m35s
fix: address PR #98 review feedback
ci-code.yml #294
:
Commit
872b2bfeac
pushed by
jabber.developer2
#98
2026-03-07 10:32:48 +00:00
6m33s
fix: address PR #98 review feedback
ci-code.yml #293
:
Commit
d103b32025
pushed by
jabber.developer2
#98
2026-03-07 10:16:33 +00:00
6m34s
Merge branch 'ci/separate-build-step'
ci-code.yml #292
:
Commit
1508f27e73
pushed by
admin
master
2026-03-05 17:43:46 +00:00
7m23s
CI: Separate build and test steps
ci-code.yml #291
:
Commit
d4254db814
pushed by
jabber.developer2
#101
2026-03-04 20:11:28 +00:00
6m25s
First
Previous
...
3
4
5
6
7
...
Next
Last