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
refactor: optimize hash table iterations and fix security issues #58
ci-code.yml #238
:
Commit
58dd89be40
pushed by
jabber.developer2
#47
2026-02-04 13:32:57 +00:00
11m21s
refactor: optimize hash table iterations and fix security issues #58
ci-api-docs.yml #237
:
Commit
58dd89be40
pushed by
jabber.developer2
#47
2026-02-04 13:22:32 +00:00
1s
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
fix: add build names, use TEST_BUILDS constant, redirect errors to stderr
ci-code.yml #235
:
Commit
a546092a5f
pushed by
jabber.developer2
#79
2026-02-02 13:10:44 +00:00
6m22s
fix: address code review comments from PR #79
ci-code.yml #234
:
Commit
5978c77a45
pushed by
jabber.developer2
#79
2026-02-02 12:03:46 +00:00
6m20s
ci: refactor ci-build.sh with constants and helper functions
ci-code.yml #233
:
Commit
cf86e60af6
pushed by
jabber.developer2
#79
2026-01-29 14:51:34 +00:00
6m19s
ci: remove coverage from linux builds
ci-code.yml #232
:
Commit
5100efca3b
pushed by
jabber.developer2
#79
2026-01-29 14:15:18 +00:00
6m21s
ci: integrate coverage into linux arch job, remove duplicate
ci-code.yml #231
:
Commit
adc5e26689
pushed by
jabber.developer2
#79
2026-01-29 14:08:33 +00:00
6m48s
ci: integrate coverage into linux arch job, remove duplicate
ci-code.yml #230
:
Commit
42c04d28fc
pushed by
jabber.developer2
#79
2026-01-29 13:58:33 +00:00
6m49s
ci: integrate coverage into linux arch job, remove duplicate
ci-code.yml #229
:
Commit
7795877306
pushed by
jabber.developer2
#79
2026-01-29 13:21:39 +00:00
14m17s
ci: integrate coverage into linux arch job, remove duplicate
ci-code.yml #228
:
Commit
2c308e824e
pushed by
jabber.developer2
#79
2026-01-29 13:00:27 +00:00
7m6s
ci: fix coverage to match Code Coverage job output
ci-code.yml #227
:
Commit
6c5c523a1a
pushed by
jabber.developer2
#79
2026-01-29 12:45:47 +00:00
19m3s
test: add intentional unit test failure only in builds without OTR (Build 2, 3)
ci-code.yml #226
:
Commit
e5330ab0a8
pushed by
jabber.developer2
#79
2026-01-29 12:37:13 +00:00
19m23s
test: add intentional functional test failure to verify CI detection
ci-code.yml #225
:
Commit
35f1902cbc
pushed by
jabber.developer2
#79
2026-01-29 12:30:23 +00:00
16m1s
test: add intentional Valgrind memory leak to verify CI detection
ci-code.yml #224
:
Commit
d3526007d0
pushed by
jabber.developer2
#79
2026-01-29 12:26:44 +00:00
15m51s
test: add intentional test failures to verify CI detection
ci-code.yml #223
:
Commit
ef673c2527
pushed by
jabber.developer2
#79
2026-01-29 12:13:52 +00:00
15m50s
ci: fix coverage to match Code Coverage job output
ci-code.yml #222
:
Commit
6c5c523a1a
pushed by
jabber.developer2
#79
2026-01-28 20:25:57 +00:00
15m31s
ci: fix coverage to match Code Coverage job output
ci-code.yml #221
:
Commit
f0c9417471
pushed by
jabber.developer2
#79
2026-01-28 20:07:41 +00:00
15m28s
ci: improve CI stability with parallel builds, Valgrind, and coverage
ci-code.yml #220
:
Commit
9a2a7614a9
pushed by
jabber.developer2
#79
2026-01-28 17:58:13 +00:00
15m27s
ci: improve CI stability with parallel builds, Valgrind, and coverage
ci-code.yml #219
:
Commit
ce4cb13470
pushed by
jabber.developer2
#79
2026-01-28 17:37:16 +00:00
15m52s
ci: improve CI stability with parallel builds, Valgrind, and coverage
ci-code.yml #218
:
Commit
52a805d1ce
pushed by
jabber.developer2
#79
2026-01-28 17:16:38 +00:00
15m28s
ci: improve CI stability with parallel builds, Valgrind, and coverage
ci-code.yml #217
:
Commit
01c100a60b
pushed by
jabber.developer2
#79
2026-01-28 16:57:49 +00:00
9m11s
ci: improve CI stability with parallel builds, Valgrind, and coverage
ci-code.yml #216
:
Commit
2fb9b3fed9
pushed by
jabber.developer2
#79
2026-01-28 16:51:13 +00:00
5m18s
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: improve functional test stability and CI reliability
ci-code.yml #212
:
Commit
c573cdb26d
pushed by
jabber.developer2
#79
2026-01-22 14:19:40 +00:00
21m9s
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
First
Previous
...
10
11
12
13
14
...
Next
Last