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
test-publish
#561
:
Commit
e302430c08
pushed by
jabber.developer
#157
2026-07-11 17:43:34 +00:00
7m51s
ci(docker): add Docker publishing workflow and Dockerfile
#559
:
Commit
5906c009d8
pushed by
jabber.developer
#157
2026-07-11 17:35:30 +00:00
3m46s
ci(docker): add Docker publishing workflow and Dockerfile
#558
:
Commit
e282bf9f36
pushed by
jabber.developer
#157
2026-07-11 17:35:40 +00:00
4m30s
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(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(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(xmpp): obfuscate client identity in protocol exchanges
#544
:
Commit
aeb5cfd7db
pushed by
jabber.developer
#166
2026-07-09 18:06:05 +00:00
16m19s
fix(xmpp): obfuscate client identity in protocol exchanges
#543
:
Commit
31dac5f81b
pushed by
jabber.developer
#166
2026-07-09 17:07:00 +00:00
21m33s
fix(xmpp): obfuscate client identity in protocol exchanges
#542
:
Commit
dddbfd7037
pushed by
jabber.developer
#166
2026-07-09 16:43:21 +00:00
7m43s
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 issues, add .dockerignore
#536
:
Commit
3dc5f4df16
pushed by
jabber.developer
#157
2026-07-07 13:09:06 +00:00
7m22s
fix(ai): repair custom setting name autocompletion
#534
:
Commit
b3a269342d
pushed by
jabber.developer2
#158
2026-07-06 17:39:53 +00:00
8m16s
First
Previous
1
2
3
4
5
...
Next
Last