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
ci(docker): add Docker publishing workflow and Dockerfile
#565
:
Commit
2be16df905
pushed by
jabber.developer
master
2026-07-11 21:45:21 +00:00
7m11s
ci(docker): add Docker publishing workflow and Dockerfile
#564
:
Commit
2be16df905
pushed by
jabber.developer
#157
2026-07-11 21:19:20 +00:00
6m59s
test-publish
#563
:
Commit
b665f6060e
pushed by
jabber.developer
#157
2026-07-11 17:50:55 +00:00
7m27s
fix(autocomplete): guard history completion safely
#557
:
Commit
b7dec705c3
pushed by
jabber.developer
#167
2026-07-11 17:26:43 +00:00
7m23s
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(xmpp): obfuscate client identity in protocol exchanges
#552
:
Commit
c5dd0cf9df
pushed by
jabber.developer
master
2026-07-10 09:12:47 +00:00
7m36s
fix(xmpp): obfuscate client identity in protocol exchanges
#551
:
Commit
c5dd0cf9df
pushed by
jabber.developer
#166
2026-07-10 09:01:29 +00:00
6m56s
fix(xmpp): obfuscate client identity in protocol exchanges
#550
:
Commit
c293387954
pushed by
jabber.developer
#166
2026-07-10 08:53:17 +00:00
7m21s
fix(xmpp): obfuscate client identity in protocol exchanges
#549
:
Commit
3610f18d7d
pushed by
jabber.developer
#166
2026-07-10 08:27:34 +00:00
6m58s
fix(xmpp): obfuscate client identity in protocol exchanges
#548
:
Commit
14ad962dee
pushed by
jabber.developer
#166
2026-07-10 08:20:39 +00:00
7m3s
fix(xmpp): obfuscate client identity in protocol exchanges
#547
:
Commit
02e2dc4c62
pushed by
jabber.developer
#166
2026-07-10 08:01:21 +00:00
7m20s
fix(xmpp): obfuscate client identity in protocol exchanges
#546
:
Commit
4daaa38363
pushed by
jabber.developer
#166
2026-07-09 20:56:18 +00:00
8m40s
fix(xmpp): obfuscate client identity in protocol exchanges
#545
:
Commit
e7c847f8dc
pushed by
jabber.developer
#166
2026-07-09 20:28:44 +00:00
7m16s
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 issues
#540
:
Commit
41c9a9777c
pushed by
jabber.developer
#157
2026-07-08 16:29:42 +00:00
7m14s
fix(accounts): complete client.name to client.account_name rename
#538
:
Commit
756d4e18cf
pushed by
jabber.developer
master
2026-07-08 11:17:56 +00:00
13m4s
fix(accounts): complete client.name to client.account_name rename
#537
:
Commit
756d4e18cf
pushed by
jabber.developer
#159
2026-07-08 11:14:14 +00:00
13m4s
fix(ai): repair custom setting name autocompletion
#534
:
Commit
b3a269342d
pushed by
jabber.developer2
#158
2026-07-06 17:39:53 +00:00
8m16s
ci(docker): add Docker publishing workflow and Dockerfile
#533
:
Commit
2bad80b015
pushed by
jabber.developer
#157
2026-07-05 16:08:31 +00:00
13m32s
ci(docker): add Docker publishing workflow and Dockerfile
#532
:
Commit
9a69ede91b
pushed by
jabber.developer
#157
2026-07-05 15:56:25 +00:00
12m38s
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
#520
:
Commit
5d7b7bb23d
pushed by
jabber.developer
master
2026-07-04 11:28:40 +00:00
7m11s
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
fix(pgp): prevent plaintext fallback in PGP/OX encryption
#516
:
Commit
622054fc6d
pushed by
jabber.developer
master
2026-06-29 15:18:46 +00:00
9m17s
fix(pgp): prevent plaintext fallback in PGP/OX encryption
#515
:
Commit
622054fc6d
pushed by
jabber.developer
#143
2026-06-29 15:05:18 +00:00
19m17s
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(ui): measure dead pad space from cursor instead of absolute height
#513
:
Commit
ca92d29179
pushed by
jabber.developer
master
2026-06-24 16:30:35 +00:00
7m39s
First
Previous
1
2
3
4
5
...
Next
Last