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): bound response parsing and harden AUTO fallback errors
#568
:
Commit
37218d2e07
pushed by
jabber.developer2
#163
2026-07-16 15:12:08 +00:00
13m13s
fix(editor): follow live terminal size in external editor
#567
:
Commit
1ac58222b8
pushed by
jabber.developer2
#153
2026-07-13 12:41:56 +00:00
7m17s
fix(ai): bound response parsing and harden AUTO fallback errors
#556
:
Commit
f7a818dc1d
pushed by
jabber.developer2
#163
2026-07-10 10:39:47 +00:00
7m6s
fix(ai): bound response parsing and harden AUTO fallback errors
#555
:
Commit
3f430e01d2
pushed by
jabber.developer2
#163
2026-07-10 10:02:52 +00:00
6m37s
style(ai): rename unparseable to unparsable for codespell
#554
:
Commit
e9614abb89
pushed by
jabber.developer2
#163
2026-07-10 10:00:34 +00:00
7m46s
fix(ai): bound response parsing and harden AUTO fallback errors
#553
:
Commit
cac2aa856a
pushed by
jabber.developer2
#163
2026-07-10 09:14:55 +00:00
6m42s
fix(ai): repair custom setting name autocompletion
#541
:
Commit
b3a269342d
pushed by
jabber.developer2
#163
2026-07-08 17:13:59 +00:00
8m41s
fix(ai): repair custom setting name autocompletion
#534
:
Commit
b3a269342d
pushed by
jabber.developer2
#158
2026-07-06 17:39:53 +00:00
8m16s
fix(editor): follow live terminal size in external editor
#522
:
Commit
24dbd3a2e2
pushed by
jabber.developer2
#153
2026-07-04 11:49:37 +00:00
12m16s
fix(editor): follow live terminal size in external editor
#521
:
Commit
410d1d803d
pushed by
jabber.developer2
#153
2026-07-05 15:00:32 +00:00
21m55s
test(ai): align parse_response tests with chat completions API
#519
:
Commit
5d7b7bb23d
pushed by
jabber.developer2
#152
2026-07-04 11:19:38 +00:00
11m26s
test(ai): align parse_response tests with chat completions API
#518
:
Commit
ff0ec78e78
pushed by
jabber.developer2
#152
2026-07-04 11:12:09 +00:00
10m59s
revert: restore pre-upstream-merge baseline (tree of 3b673150b)
#514
:
Commit
f9e184eda7
pushed by
jabber.developer2
#141
2026-06-29 09:32:37 +00:00
12m28s
fix(xmpp): guard NULL domain in autoping disco warning gate
#510
:
Commit
15dfc2bdb4
pushed by
jabber.developer2
#138
2026-06-23 11:34:11 +00:00
8m48s
fix(ui): measure dead pad space from the cursor, not the requested lines
#509
:
Commit
36512d9dde
pushed by
jabber.developer2
#135
2026-06-23 11:27:02 +00:00
6m37s
build: untrack generated src/gitversion.h.in
#507
:
Commit
d4fbc26fea
pushed by
jabber.developer2
#137
2026-06-23 11:08:28 +00:00
11m1s
test(autoping): cover availability-warning conditions
#502
:
Commit
45b81cf2de
pushed by
jabber.developer2
#80
2026-06-20 11:47:09 +00:00
6m59s
fix(ui): reclaim pad by dead space instead of absolute height
#501
:
Commit
e33874e6b5
pushed by
jabber.developer2
#135
2026-06-20 10:44:23 +00:00
6m50s
fix(ui): reserve pad height per message to prevent multi-line clip and scroll desync
#494
:
Commit
13fa1bf108
pushed by
jabber.developer2
#136
2026-06-20 09:32:20 +00:00
6m59s
fix(ui): reserve pad height per message to prevent multi-line clip and scroll desync
#493
:
Commit
adb078a3e2
pushed by
jabber.developer2
#136
2026-06-20 09:07:50 +00:00
7m7s
fix(ui): reserve pad height per message to prevent multi-line clip and scroll desync
#492
:
Commit
de172f3533
pushed by
jabber.developer2
#136
2026-06-20 08:53:08 +00:00
6m50s
fix(omemo): guard NULL fingerprint decode and log failures (CWE-476/457)
#491
:
Commit
f63bf57872
pushed by
jabber.developer2
#130
2026-06-19 09:53:20 +00:00
7m6s
feat: Autoping availability warning
#490
:
Commit
0a3b2b235f
pushed by
jabber.developer2
#80
2026-06-19 09:13:29 +00:00
6m43s
fix(omemo): guard NULL fingerprint decode and log failures (CWE-476/457)
#489
:
Commit
d1dfd57a49
pushed by
jabber.developer2
#130
2026-06-19 08:56:03 +00:00
7m14s
fix(database): make v2->v3 chatlog migration deterministic and FK-safe
#488
:
Commit
25e9bc6e93
pushed by
jabber.developer2
#129
2026-06-19 08:50:28 +00:00
7m3s
security: validate <delay> 'from' per XEP-0203 §4
#487
:
Commit
55c73ee21a
pushed by
jabber.developer2
#97
2026-06-19 08:30:41 +00:00
15m11s
fix(review): address PR #130 review
#486
:
Commit
c073ff3566
pushed by
jabber.developer2
#130
2026-06-16 15:11:40 +00:00
7m46s
test: fix -Wsign-compare in proftest _mkdir_recursive loop
#483
:
Commit
0e5ff2e1ef
pushed by
jabber.developer2
#130
2026-06-14 14:35:45 +00:00
5m51s
build: Pikaur-safe hardening flags, opt-in sanitizers, -Wsign-compare
#482
:
Commit
f910eecb38
pushed by
jabber.developer2
#130
2026-06-14 14:14:10 +00:00
7m8s
fix(ui): reclaim pad by dead space instead of absolute height
#481
:
Commit
3fd48a1f44
pushed by
jabber.developer2
#135
2026-06-09 11:49:16 +00:00
10m48s
First
Previous
1
2
3
4
5
...
Next
Last