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
10
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
security: harden untrusted-input handling (issue #148)
ci-code.yml #587
:
Commit
250703a0bf
pushed by
jabber.developer2
#176
2026-08-01 10:59:49 +00:00
7m34s
feat(ui): add cons_show_warning() (issue #87)
ci-code.yml #586
:
Commit
a878b1e629
pushed by
jabber.developer2
#175
2026-08-01 10:21:35 +00:00
8m27s
security: E2EE and transport correctness (issue #147)
ci-code.yml #585
:
Commit
e05e0d58b3
pushed by
jabber.developer2
#173
2026-08-01 10:17:44 +00:00
6m23s
security: E2EE and transport correctness (issue #147)
ci-code.yml #584
:
Commit
214f860d2c
pushed by
jabber.developer2
#173
2026-07-30 07:57:50 +00:00
13m5s
security: E2EE and transport correctness (issue #147)
ci-code.yml #583
:
Commit
6dd1610e47
pushed by
jabber.developer2
#173
2026-07-30 06:35:02 +00:00
8m21s
fix(xmpp): treat disco#info result without 'from' as from the server
docker-publish.yml #582
:
Commit
d914e42ff6
pushed by
jabber.developer
master
2026-07-29 19:47:44 +00:00
7m29s
fix(xmpp): treat disco#info result without 'from' as from the server
ci-code.yml #581
:
Commit
d914e42ff6
pushed by
jabber.developer
master
2026-07-29 19:48:35 +00:00
8m39s
fix(xmpp): treat disco#info result without 'from' as from the server
ci-code.yml #580
:
Commit
d914e42ff6
pushed by
jabber.developer2
#170
2026-07-28 19:23:05 +00:00
10m6s
fix(xmpp): log resolved key instead of possibly-NULL jid
ci-code.yml #579
:
Commit
f2918f5aaf
pushed by
jabber.developer2
#170
2026-07-28 19:16:42 +00:00
13m16s
fix(xmpp): treat disco#info result without 'from' as from the server
ci-code.yml #578
:
Commit
2c8bd867b9
pushed by
jabber.developer
#170
2026-07-28 17:45:00 +00:00
22m36s
fix(xmpp): treat disco#info result without 'from' as from the server
ci-code.yml #577
:
Commit
c9455d27ba
pushed by
jabber.developer
#170
2026-07-26 11:55:10 +00:00
5m7s
fix(editor): follow live terminal size in external editor
docker-publish.yml #576
:
Commit
964f73d0ad
pushed by
jabber.developer
master
2026-07-26 11:47:10 +00:00
3m35s
fix(editor): follow live terminal size in external editor
ci-code.yml #575
:
Commit
964f73d0ad
pushed by
jabber.developer
master
2026-07-26 11:49:46 +00:00
6m30s
fix(editor): follow live terminal size in external editor
ci-code.yml #574
:
Commit
964f73d0ad
pushed by
jabber.developer
#153
2026-07-25 15:35:37 +00:00
13m2s
fix(editor): follow live terminal size in external editor
ci-code.yml #573
:
Commit
b69457603e
pushed by
jabber.developer
#153
2026-07-25 15:25:42 +00:00
8m42s
fix(editor): follow live terminal size in external editor
ci-code.yml #572
:
Commit
35cafc366a
pushed by
jabber.developer
#153
2026-07-25 15:25:06 +00:00
8m40s
security: protect local data at rest (issue #146)
ci-code.yml #571
:
Commit
b63a9d29f8
pushed by
jabber.developer2
#172
2026-07-21 09:33:37 +00:00
9m31s
fix(omemo): bootstrap device list on prosody-class servers
ci-code.yml #570
:
Commit
61a5de6ab9
pushed by
jabber.developer2
#171
2026-07-21 06:39:39 +00:00
18m40s
fix(xmpp): treat disco#info result without 'from' as from the server
ci-code.yml #569
:
Commit
a283c4e7b4
pushed by
jabber.developer2
#170
2026-07-21 06:32:26 +00:00
12m12s
fix(ai): bound response parsing and harden AUTO fallback errors
ci-code.yml #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
ci-code.yml #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
docker-publish.yml #566
:
Commit
2be16df905
pushed by
jabber.developer
master
2026-07-11 21:43:13 +00:00
4m46s
ci(docker): add Docker publishing workflow and Dockerfile
ci-code.yml #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
ci-code.yml #564
:
Commit
2be16df905
pushed by
jabber.developer
#157
2026-07-11 21:19:20 +00:00
6m59s
test-publish
ci-code.yml #563
:
Commit
b665f6060e
pushed by
jabber.developer
#157
2026-07-11 17:50:55 +00:00
7m27s
test-publish
docker-publish.yml #562
:
Commit
b665f6060e
pushed by
jabber.developer
ci/docker-hub-publishing
2026-07-11 17:49:48 +00:00
6m22s
test-publish
ci-code.yml #561
:
Commit
e302430c08
pushed by
jabber.developer
#157
2026-07-11 17:43:34 +00:00
7m51s
test-publish
docker-publish.yml #560
:
Commit
e302430c08
pushed by
jabber.developer
ci/docker-hub-publishing
2026-07-11 17:35:58 +00:00
18s
ci(docker): add Docker publishing workflow and Dockerfile
ci-code.yml #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
ci-code.yml #558
:
Commit
e282bf9f36
pushed by
jabber.developer
#157
2026-07-11 17:35:40 +00:00
4m30s
First
Previous
1
2
3
4
5
...
Next
Last