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
Improve arch build: sort mirrors by speed in reflector
ci-code.yml #137
:
Commit
74cfd32c1e
pushed by
jabber.developer
master
2025-11-02 21:17:11 +00:00
16m1s
Improve arch build: sort mirrors by speed in reflector
ci-code.yml #136
:
Commit
74cfd32c1e
pushed by
jabber.developer
#46
2025-11-01 10:35:29 +00:00
26m37s
Improve arch build: sort mirrors by speed in reflector
ci-code.yml #135
:
Commit
674a70d4aa
pushed by
jabber.developer
#46
2025-10-29 19:45:48 +00:00
53s
Fix arch build by adding `pacman-key --init` and updating `gtk2` to `gtk3`
ci-code.yml #134
:
Commit
fe6912a30c
pushed by
jabber.developer
#46
2025-10-29 19:44:41 +00:00
16m26s
Fix arch build by adding `pacman-key --init` and updating `gtk2` to `gtk3`
ci-code.yml #133
:
Commit
f33ae6be4f
pushed by
jabber.developer
#46
2025-10-29 19:42:04 +00:00
14m23s
Fix arch build by adding `pacman-key --init`
ci-code.yml #132
:
Commit
838446dce6
pushed by
jabber.developer
#46
2025-10-29 19:28:12 +00:00
1m31s
Fix arch build by adding `pacman-key --init`
ci-code.yml #131
:
Commit
fa3beddadb
pushed by
jabber.developer
#46
2025-10-29 17:49:11 +00:00
23m50s
feat(api): add get_current_window call
ci-code.yml #130
:
Commit
266f5aa046
pushed by
jabber.developer
master
2025-11-01 13:13:20 +00:00
1m0s
feat(api): add get_current_window call
ci-api-docs.yml #129
:
Commit
266f5aa046
pushed by
jabber.developer
master
2025-10-29 17:25:27 +00:00
1m10s
Comments and formatting updates
ci-code.yml #128
:
Commit
8f9cc05113
pushed by
jabber.developer2
#45
2025-10-29 17:24:45 +00:00
7m50s
Source refactoing after code review;
ci-code.yml #127
:
Commit
a0e3f80efa
pushed by
jabber.developer2
#45
2025-10-29 19:33:25 +00:00
17m57s
Source refactoing after code review;
ci-code.yml #126
:
Commit
68e214f27f
pushed by
jabber.developer2
#45
2025-10-29 15:00:54 +00:00
13m52s
Comments update for gitlab metrics fix
ci-code.yml #125
:
Commit
a4efa61fc9
pushed by
jabber.developer2
#45
2025-10-28 17:12:36 +00:00
20m40s
Buffer size reverted from debug value to current standard. Comments updated.
ci-code.yml #124
:
Commit
fbe73a07f3
pushed by
jabber.developer2
#45
2025-10-28 06:30:15 +00:00
28m53s
Buffer size reverted from debug value to current standard. Comments updated.
ci-code.yml #123
:
Commit
130bb7d1a0
pushed by
jabber.developer2
#45
2025-10-28 07:21:32 +00:00
1h20m34s
feat(api): add get_current_window call
ci-code.yml #122
:
Commit
266f5aa046
pushed by
jabber.developer
#35
2025-10-20 17:14:43 +00:00
13m37s
feat(api): add get_current_window call
ci-api-docs.yml #121
:
Commit
266f5aa046
pushed by
jabber.developer
#35
2025-10-20 17:01:35 +00:00
30s
fix: prevent autoping disable on false negative ping support check
ci-code.yml #120
:
Commit
3738be4af1
pushed by
jabber.developer
master
2025-10-14 11:49:59 +00:00
16m45s
fix: prevent autoping disable on false negative ping support check
ci-code.yml #119
:
Commit
3738be4af1
pushed by
jabber.developer
#41
2025-10-14 10:58:46 +00:00
16m36s
fix: prevent autoping disable on false negative ping support check
ci-code.yml #118
:
Commit
b79bafbd8f
pushed by
jabber.developer
#41
2025-10-14 10:07:42 +00:00
3m55s
fix: prevent autoping disable on false negative ping support check
ci-code.yml #117
:
Commit
a689973674
pushed by
jabber.developer
#41
2025-10-14 09:53:01 +00:00
3m48s
build: add cache to ./configure with -C flag
ci-code.yml #116
:
Commit
886372caac
pushed by
jabber.developer
#27
2025-10-14 10:02:38 +00:00
15m18s
fix(scroll): handle edge case of extremely long messages
ci-code.yml #115
:
Commit
fac1e224bc
pushed by
jabber.developer
master
2025-10-08 11:38:08 +00:00
16m23s
fix(scroll): handle edge case of extremely long messages
ci-code.yml #114
:
Commit
fac1e224bc
pushed by
jabber.developer
#38
2025-10-08 11:17:39 +00:00
16m47s
fix(scroll): handle edge case of extremely long messages
ci-code.yml #113
:
Commit
7c3f461677
pushed by
jabber.developer
#38
2025-10-08 11:01:02 +00:00
5m7s
fix(buffer): use dynamic buffer size to prevent unnecessary buffer cleanups
ci-code.yml #112
:
Commit
6ad8a19053
pushed by
jabber.developer
master
2025-10-07 13:54:25 +00:00
16m26s
fix(buffer): use dynamic buffer size to prevent unnecessary buffer cleanups
ci-code.yml #111
:
Commit
6ad8a19053
pushed by
jabber.developer
#37
2025-10-07 13:34:02 +00:00
16m24s
feat(api): add get_current_window call
ci-code.yml #110
:
Commit
e36f7d5964
pushed by
admin
#35
2025-10-01 16:20:00 +00:00
16m43s
feat(api): add get_current_window call
ci-api-docs.yml #109
:
Commit
e36f7d5964
pushed by
admin
#35
2025-10-01 16:03:47 +00:00
31s
feat(api): add get_current_window call
ci-code.yml #108
:
Commit
899f4eced8
pushed by
jabber.developer
#35
2025-10-01 16:13:05 +00:00
15m6s
First
Previous
...
14
15
16
17
18
...
Next
Last