Skip to content

Actions: ionux/ok_json

Actions

OK_JSON Library CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
405 workflow runs
405 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #72 from ionux/claude/update-wiki-docs-YKAoh OK_JSON Library CI #421: Commit d2dadba pushed by ionux
4m 54s v1.9.1
v1.9.1
4m 54s
Merge pull request #72 from ionux/claude/update-wiki-docs-YKAoh OK_JSON Library CI #420: Commit d2dadba pushed by ionux
4m 59s main
main
4m 59s
Update wiki docs to match recent README and CI changes OK_JSON Library CI #419: Commit dc47194 pushed by ionux
4m 51s claude/update-wiki-docs-YKAoh
claude/update-wiki-docs-YKAoh
4m 51s
Merge pull request #71 from ionux/claude/update-readme-functions-r1QRo OK_JSON Library CI #418: Commit b6bfb14 pushed by ionux
4m 59s main
main
4m 59s
Update README with error codes table, return types, and expanded example OK_JSON Library CI #417: Commit 092733e pushed by ionux
4m 58s claude/update-readme-functions-r1QRo
claude/update-readme-functions-r1QRo
4m 58s
Minor refactor to addresss UB issue. OK_JSON Library CI #416: Commit 417a134 pushed by ionux
4m 51s v1.9.0
v1.9.0
4m 51s
Minor refactor to addresss UB issue. OK_JSON Library CI #415: Commit 417a134 pushed by ionux
4m 56s main
main
4m 56s
Added a reference to the new SECURITY.md file OK_JSON Library CI #414: Commit 31ba7b9 pushed by ionux
4m 1s main
main
4m 1s
Tripled libFuzzer run time to 30 seconds. OK_JSON Library CI #413: Commit 692c936 pushed by ionux
4m 46s main
main
4m 46s
Merge pull request #70 from ionux/claude/analyze-ok-json-vulnerabilit… OK_JSON Library CI #412: Commit 4c0e5ac pushed by ionux
4m 47s main
main
4m 47s
Make okj_validate_utf8_sequence self-defensive with len parameter OK_JSON Library CI #411: Commit b0d1c00 pushed by ionux
5m 0s claude/analyze-ok-json-vulnerabilities-yuj82
claude/analyze-ok-json-vulnerabilities-yuj82
5m 0s
Fix remaining UTF-8 OOB (fuzzer-found) and Frama-C ACSL syntax OK_JSON Library CI #410: Commit d4940a8 pushed by ionux
4m 32s claude/analyze-ok-json-vulnerabilities-yuj82
claude/analyze-ok-json-vulnerabilities-yuj82
4m 32s
Create SECURITY.md OK_JSON Library CI #409: Commit 3fc94de pushed by ionux
5m 15s main
main
5m 15s
Fix heap-buffer-overread vulnerabilities from Issue #69 OK_JSON Library CI #408: Commit 2a461ce pushed by ionux
3m 18s claude/analyze-ok-json-vulnerabilities-yuj82
claude/analyze-ok-json-vulnerabilities-yuj82
3m 18s
Minor organizational refactor. OK_JSON Library CI #407: Commit d35554a pushed by ionux
4m 53s main
main
4m 53s
Reverted data type fix for now. OK_JSON Library CI #406: Commit dc3e513 pushed by ionux
4m 56s main
main
4m 56s
Fix data type compliance issue. OK_JSON Library CI #405: Commit 77c41c6 pushed by ionux
3m 48s main
main
3m 48s
Merge pull request #68 from ionux/claude/fix-misra-cast-violation-L4MMg OK_JSON Library CI #404: Commit f385ef3 pushed by ionux
5m 3s main
main
5m 3s
Rewrite MISRA 10.8 fix to preserve Frama-C proofs OK_JSON Library CI #403: Commit ce669d0 pushed by ionux
5m 3s claude/fix-misra-cast-violation-L4MMg
claude/fix-misra-cast-violation-L4MMg
5m 3s
Add intermediate assertions to guide Frama-C WP prover OK_JSON Library CI #402: Commit b59b892 pushed by ionux
5m 4s claude/fix-misra-cast-violation-L4MMg
claude/fix-misra-cast-violation-L4MMg
5m 4s
Add loop invariant linking len to pointer difference for Frama-C OK_JSON Library CI #401: Commit c1bfce2 pushed by ionux
5m 0s claude/fix-misra-cast-violation-L4MMg
claude/fix-misra-cast-violation-L4MMg
5m 0s
Fix MISRA 10.8 violation in okj_measure_container OK_JSON Library CI #400: Commit 5e6ac8d pushed by ionux
5m 14s claude/fix-misra-cast-violation-L4MMg
claude/fix-misra-cast-violation-L4MMg
5m 14s
Minor refactor for MISRA compliance. OK_JSON Library CI #399: Commit 4bcce18 pushed by ionux
4m 46s main
main
4m 46s
Merge pull request #67 from ionux/claude/fix-wp-timeout-anFtc OK_JSON Library CI #398: Commit b6eb443 pushed by ionux
5m 0s main
main
5m 0s
Strengthen inner loop invariant to fix WP timeout on okj_measure_cont… OK_JSON Library CI #397: Commit ecaf4c5 pushed by ionux
4m 54s claude/fix-wp-timeout-anFtc
claude/fix-wp-timeout-anFtc
4m 54s