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(accounts): complete client.name to client.account_name rename
ci-code.yml #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
ci-code.yml #537
:
Commit
756d4e18cf
pushed by
jabber.developer
#159
2026-07-08 11:14:14 +00:00
13m4s
Fix issues, add .dockerignore
ci-code.yml #536
:
Commit
3dc5f4df16
pushed by
jabber.developer
#157
2026-07-07 13:09:06 +00:00
7m22s
Fix issues, add .dockerignore
docker-publish.yml #535
:
Commit
3dc5f4df16
pushed by
jabber.developer
ci/docker-hub-publishing
2026-07-07 13:05:19 +00:00
3m36s
fix(ai): repair custom setting name autocompletion
ci-code.yml #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
ci-code.yml #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
ci-code.yml #532
:
Commit
9a69ede91b
pushed by
jabber.developer
#157
2026-07-05 15:56:25 +00:00
12m38s
ci(docker): add Docker publishing workflow and Dockerfile
docker-publish.yml #531
:
Commit
9a69ede91b
pushed by
jabber.developer
ci/docker-hub-publishing
2026-07-05 15:51:49 +00:00
9m1s
ci(docker): add Docker publishing workflow and Dockerfile
docker-publish.yml #530
:
Commit
6f6cc17b3d
pushed by
jabber.developer
ci/docker-hub-publishing
2026-07-05 15:17:09 +00:00
1m31s
ci(docker): add Docker publishing workflow and Dockerfile
docker-publish.yml #529
:
Commit
242ea38061
pushed by
jabber.developer
ci/docker-hub-publishing
2026-07-05 15:13:28 +00:00
6m51s
ci(docker): add Docker publishing workflow and Dockerfile
docker-publish.yml #528
:
Commit
16dc35e25f
pushed by
jabber.developer
ci/docker-hub-publishing
2026-07-05 15:06:36 +00:00
55s
ci(docker): add Docker publishing workflow and Dockerfile
docker-publish.yml #527
:
Commit
bef6648c34
pushed by
jabber.developer
ci/docker-hub-publishing
2026-07-05 14:51:20 +00:00
7m34s
ci(docker): add Docker publishing workflow and Dockerfile
docker-publish.yml #526
:
Commit
d63e32ced1
pushed by
jabber.developer
ci/docker-hub-publishing
2026-07-05 13:27:03 +00:00
4m35s
ci(docker): add Docker publishing workflow and Dockerfile
docker-publish.yml #525
:
Commit
ca55b6a397
pushed by
jabber.developer
ci/docker-hub-publishing
2026-07-05 13:15:10 +00:00
1m49s
ci(docker): add Docker publishing workflow and Dockerfile
docker-publish.yml #524
:
Commit
ef6469b30b
pushed by
jabber.developer
ci/docker-hub-publishing
2026-07-05 13:06:20 +00:00
3m1s
ci(docker): add Docker publishing workflow and Dockerfile
docker-publish.yml #523
:
Commit
992e44a085
pushed by
jabber.developer
ci/docker-hub-publishing
2026-07-05 13:01:02 +00:00
12s
fix(editor): follow live terminal size in external editor
ci-code.yml #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
ci-code.yml #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
ci-code.yml #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
ci-code.yml #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
ci-code.yml #518
:
Commit
ff0ec78e78
pushed by
jabber.developer2
#152
2026-07-04 11:12:09 +00:00
10m59s
refactor(ai): align AI client with OpenAI chat completions API
ci-code.yml #517
:
Commit
9913344bbf
pushed by
jabber.developer
master
2026-07-04 10:09:11 +00:00
9m31s
fix(pgp): prevent plaintext fallback in PGP/OX encryption
ci-code.yml #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
ci-code.yml #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)
ci-code.yml #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
ci-code.yml #513
:
Commit
ca92d29179
pushed by
jabber.developer
master
2026-06-24 16:30:35 +00:00
7m39s
build: untrack generated src/gitversion.h.in
ci-code.yml #512
:
Commit
72aa603147
pushed by
jabber.developer
master
2026-06-23 12:41:20 +00:00
7m14s
fix(xmpp): guard NULL domain in autoping disco warning gate
ci-code.yml #511
:
Commit
15dfc2bdb4
pushed by
jabber.developer
master
2026-06-23 12:34:04 +00:00
2m9s
fix(xmpp): guard NULL domain in autoping disco warning gate
ci-code.yml #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
ci-code.yml #509
:
Commit
36512d9dde
pushed by
jabber.developer2
#135
2026-06-23 11:27:02 +00:00
6m37s
First
Previous
1
2
3
4
5
...
Next
Last