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
8
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
Revert "build(pikaur): Fix failure due to duplicated flag and warnings"
ci-code.yml #332
:
Commit
4611bd339d
pushed by
jabber.developer
#108
2026-04-18 16:43:44 +00:00
6m47s
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
tests: Add disco tests
ci-code.yml #284
:
Commit
770a46c1c9
pushed by
jabber.developer
#99
2026-03-04 14:45:50 +00:00
3h14m38s
fix arch build
ci-code.yml #269
:
Commit
31538580fb
pushed by
jabber.developer
master
2026-02-18 17:07:05 +00:00
10m31s
fix arch build
ci-code.yml #268
:
Commit
31538580fb
pushed by
jabber.developer
#95
2026-02-18 16:51:01 +00:00
10m32s
ci: fix arch build
ci-code.yml #263
:
Commit
37ca2de308
pushed by
jabber.developer
master
2026-02-17 17:10:00 +00:00
34m52s
ci: fix arch build
ci-code.yml #262
:
Commit
37ca2de308
pushed by
jabber.developer
#92
2026-02-17 16:16:05 +00:00
37m1s
ci: fix arch build
ci-code.yml #260
:
Commit
847dc5e384
pushed by
jabber.developer
#92
2026-02-16 15:58:27 +00:00
10m17s
ci: fix arch build
ci-code.yml #259
:
Commit
8046a70ac4
pushed by
jabber.developer
#92
2026-02-16 15:50:26 +00:00
5m43s
ci: fix arch build
ci-code.yml #258
:
Commit
07e9ff4511
pushed by
jabber.developer
#92
2026-02-16 15:40:32 +00:00
2m18s
ci: fix arch build
ci-code.yml #257
:
Commit
2935d73b1b
pushed by
jabber.developer
#92
2026-02-16 15:38:27 +00:00
7m29s
refactor: rename argument to avoid C++ keyword conflict
ci-code.yml #256
:
Commit
971d60ce36
pushed by
jabber.developer
#8
2026-02-16 15:01:56 +00:00
6m17s
refactor: rename argument to avoid C++ keyword conflict
ci-api-docs.yml #255
:
Commit
971d60ce36
pushed by
jabber.developer
#8
2026-02-16 14:56:23 +00:00
45s
fix(xmpp): show message for empty disco#items results (XEP-0030)
ci-code.yml #251
:
Commit
4fce333c9a
pushed by
jabber.developer
master
2026-02-11 08:51:11 +00:00
9m46s
fix(ui,db): harden NULL handling, fix CWE-134, optimize iterations
ci-code.yml #247
:
Commit
467222d0ca
pushed by
jabber.developer
master
2026-02-06 18:40:50 +00:00
11m36s
ci: improve CI stability with parallel builds and Valgrind
ci-code.yml #236
:
Commit
f8826b7c79
pushed by
jabber.developer
master
2026-02-02 16:53:30 +00:00
6m20s
feat: Autoping availability warning
ci-code.yml #215
:
Commit
6086391b0e
pushed by
jabber.developer
#80
2026-01-27 20:31:06 +00:00
30m51s
feat: Autoping availability warning
ci-code.yml #214
:
Commit
1f38ff0522
pushed by
jabber.developer
#80
2026-01-27 20:17:31 +00:00
20m32s
[WORK IN PROGRESS] feat: warning if autoping is disabled
ci-code.yml #213
:
Commit
6548329616
pushed by
jabber.developer
#80
2026-01-27 10:50:58 +00:00
21m15s
fix(ci): remove insecure git clone flag, add ca-certificates
ci-code.yml #211
:
Commit
8353a29b4f
pushed by
jabber.developer
master
2026-01-21 17:22:00 +00:00
20m52s
fix(ci): remove insecure git clone flag, add ca-certificates
ci-code.yml #210
:
Commit
8353a29b4f
pushed by
jabber.developer
#75
2026-01-21 16:34:30 +00:00
18m59s
ci: speed up builds 4x with parallel tests, coverage, and ccache
ci-code.yml #209
:
Commit
85c817ee8c
pushed by
jabber.developer
master
2026-01-21 15:51:26 +00:00
16m6s
feat: add Valgrind suppressions and update CI/docs
ci-code.yml #184
:
Commit
64d4f63895
pushed by
jabber.developer
#67
2026-01-07 10:24:23 +00:00
1h7m56s
Update .gitmodules
ci-code.yml #163
:
Commit
9472662c05
pushed by
jabber.developer
#63
2025-12-15 14:58:57 +00:00
3m29s
fix(cmd): cmd_time: Avoid extra loop iterations for single option
ci-code.yml #152
:
Commit
20af44196b
pushed by
jabber.developer
master
2025-11-27 10:54:05 +00:00
13m48s
fix(xmpp): format debug logging statements for consistency
ci-code.yml #149
:
Commit
84d6253561
pushed by
jabber.developer
master
2025-11-21 09:17:57 +00:00
13m59s
Improve arch build: sort mirrors by speed in reflector
ci-code.yml #137
:
Commit
74cfd32c1e
pushed by
jabber.developer
master
2025-11-02 21:17:11 +00:00
16m1s
Improve arch build: sort mirrors by speed in reflector
ci-code.yml #136
:
Commit
74cfd32c1e
pushed by
jabber.developer
#46
2025-11-01 10:35:29 +00:00
26m37s
First
Previous
...
4
5
6
7
8
Next
Last