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
8
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
Revert build: enable -Wconversion/-Wsign-compare and add --enable-sanitizers
ci-code.yml #344
:
Commit
a7ad9ac0a4
pushed by
jabber.developer2
#105
2026-04-28 15:56:34 +00:00
5m5s
fix: address open PR #105 review comments (leaks + null safety)
ci-code.yml #343
:
Commit
60da899bd9
pushed by
jabber.developer2
#105
2026-04-28 14:41:51 +00:00
7m30s
fix(subprojects): point libstrophe.wrap at libstrophe-gh-mirror
ci-code.yml #342
:
Commit
1e372f6fa8
pushed by
jabber.developer2
#105
2026-04-28 07:46:18 +00:00
10m14s
refactor: rename argument to avoid C++ keyword conflict
ci-code.yml #341
:
Commit
6c25806bec
pushed by
jabber.developer
#8
2026-04-26 11:25:56 +00:00
7m42s
ci: fix Valgrind startup failure on Arch via DEBUGINFOD_URLS
ci-code.yml #340
:
Commit
c815c39cdd
pushed by
jabber.developer2
#105
2026-04-24 12:51:17 +00:00
8m46s
refactor: address PR #105 review feedback
ci-code.yml #339
:
Commit
4401e817d0
pushed by
jabber.developer2
#105
2026-04-24 12:24:42 +00:00
7m12s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #338
:
Commit
0feacbc9da
pushed by
jabber.developer
master
2026-04-21 14:08:06 +00:00
7m45s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #337
:
Commit
0feacbc9da
pushed by
jabber.developer
#108
2026-04-21 13:54:52 +00:00
9m52s
Revert "build(pikaur): Fix failure due to duplicated flag and warnings"
ci-code.yml #336
:
Commit
04dafdf36f
pushed by
jabber.developer
#108
2026-04-21 12:37:17 +00:00
13m19s
Revert "build(pikaur): Fix failure due to duplicated flag and warnings"
ci-code.yml #335
:
Commit
4a59ccaa80
pushed by
jabber.developer
#108
2026-04-20 06:07:07 +00:00
7m20s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #334
:
Commit
7ef45977c8
pushed by
jabber.developer
#108
2026-04-19 13:27:45 +00:00
13m26s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #333
:
Commit
8c6c9f4f42
pushed by
jabber.developer
#108
2026-04-18 16:56:52 +00:00
9m52s
Revert "build(pikaur): Fix failure due to duplicated flag and warnings"
ci-code.yml #332
:
Commit
4611bd339d
pushed by
jabber.developer
#108
2026-04-18 16:43:44 +00:00
6m47s
ci: simulate Pikaur flag duplication in Arch Linux CI
ci-code.yml #331
:
Commit
8c6c9f4f42
pushed by
jabber.developer
#108
2026-04-18 16:24:22 +00:00
10m28s
fix: null pointer dereference guards (CWE-476)
ci-code.yml #330
:
Commit
43aeaf6e3b
pushed by
jabber.developer2
#107
2026-04-17 13:38:38 +00:00
12m20s
fix: address GCC -fanalyzer warnings
ci-code.yml #329
:
Commit
d3ab7eb0e3
pushed by
jabber.developer2
#107
2026-04-17 11:03:31 +00:00
13m4s
build(pikaur): Fix failure due to duplicated flag and warnings
ci-code.yml #328
:
Commit
0722dc9e36
pushed by
jabber.developer
master
2026-04-13 20:13:02 +00:00
10m28s
build(pikaur): Fix failure due to duplicated flag and warnings
ci-code.yml #327
:
Commit
0722dc9e36
pushed by
jabber.developer
#106
2026-04-13 20:02:56 +00:00
9m33s
Merge upstream/master into merge/upstream-full
ci-code.yml #326
:
Commit
4319172758
pushed by
jabber.developer2
#105
2026-04-11 10:55:05 +00:00
9m31s
Merge upstream/master into merge/upstream-full
ci-code.yml #325
:
Commit
c6bc85ccd5
pushed by
jabber.developer2
#105
2026-04-11 10:49:27 +00:00
10m49s
Merge upstream/master into merge/upstream-full
style.yml #324
:
Commit
79832ef86c
pushed by
jabber.developer2
#105
2026-04-11 10:38:43 +00:00
1m16s
Merge upstream/master into merge/upstream-full
functional-tests.yml #323
:
Commit
79832ef86c
pushed by
jabber.developer2
#105
2026-04-11 10:38:35 +00:00
1m28s
Merge upstream/master into merge/upstream-full
cygwin-build.yml #322
:
Commit
79832ef86c
pushed by
jabber.developer2
#105
2026-04-11 10:38:49 +00:00
0s
Merge upstream/master into merge/upstream-full
commit-lint.yml #321
:
Commit
79832ef86c
pushed by
jabber.developer2
#105
2026-04-11 10:37:27 +00:00
45s
Merge upstream/master into merge/upstream-full
codeql.yml #320
:
Commit
79832ef86c
pushed by
jabber.developer2
#105
2026-04-11 10:38:57 +00:00
2m59s
Merge upstream/master into merge/upstream-full
ci-code.yml #319
:
Commit
79832ef86c
pushed by
jabber.developer2
#105
2026-04-11 10:38:18 +00:00
9m23s
Merge upstream/master into merge/upstream-full
style.yml #318
:
Commit
090c147928
pushed by
jabber.developer2
#105
2026-04-11 10:23:43 +00:00
3m26s
Merge upstream/master into merge/upstream-full
functional-tests.yml #317
:
Commit
090c147928
pushed by
jabber.developer2
#105
2026-04-11 10:22:59 +00:00
2m49s
Merge upstream/master into merge/upstream-full
cygwin-build.yml #316
:
Commit
090c147928
pushed by
jabber.developer2
#105
2026-04-11 10:39:10 +00:00
0s
Merge upstream/master into merge/upstream-full
commit-lint.yml #315
:
Commit
090c147928
pushed by
jabber.developer2
#105
2026-04-11 10:21:01 +00:00
54s
First
Previous
...
7
8
9
10
11
...
Next
Last