Skip to content

Actions: zhudotexe/kani

Actions

Code Style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

dev: short context sandbox Code Style #467: Commit 228bbe4 pushed by zhudotexe
April 7, 2025 16:27 22s main
main
April 7, 2025 16:27 22s
feat(hf): use an offloadedcache by default for generation Code Style #466: Commit ad2d45b pushed by zhudotexe
April 6, 2025 23:59 21s main
main
April 6, 2025 23:59 21s
chore: bump version Code Style #465: Commit d2714e0 pushed by zhudotexe
April 5, 2025 01:46 22s v1.4.1
v1.4.1
April 5, 2025 01:46 22s
chore: bump version Code Style #464: Commit d2714e0 pushed by zhudotexe
April 4, 2025 18:58 17s main
main
April 4, 2025 18:58 17s
feat: allow slightly more in-depth JSON schema generation config Code Style #463: Commit 87ad233 pushed by zhudotexe
April 4, 2025 18:57 18s main
main
April 4, 2025 18:57 18s
chore: bump version Code Style #462: Commit db9ebeb pushed by zhudotexe
February 21, 2025 16:09 24s v1.4.0
v1.4.0
February 21, 2025 16:09 24s
chore: bump version Code Style #461: Commit db9ebeb pushed by zhudotexe
February 20, 2025 17:41 19s main
main
February 20, 2025 17:41 19s
chore: add warning for subfolders in llamacppengine, update docs and … Code Style #460: Commit 4366cfd pushed by zhudotexe
February 20, 2025 17:29 18s main
main
February 20, 2025 17:29 18s
dev: update test script queries Code Style #459: Commit 0b01daf pushed by zhudotexe
February 20, 2025 17:11 18s main
main
February 20, 2025 17:11 18s
dev: update test script queries Code Style #458: Commit 0b01daf pushed by zhudotexe
February 20, 2025 17:11 23s dev
dev
February 20, 2025 17:11 23s
build: only do 3 rounds of chat Code Style #457: Commit bacc3f4 pushed by zhudotexe
February 19, 2025 18:33 22s dev
dev
February 19, 2025 18:33 22s
dev: small r1 context for now Code Style #456: Commit 2e8c1a7 pushed by zhudotexe
February 17, 2025 23:28 16s dev
dev
February 17, 2025 23:28 16s
revert: can't fix that bug locally Code Style #455: Commit 9ba2df7 pushed by zhudotexe
February 17, 2025 22:06 16s dev
dev
February 17, 2025 22:06 16s
fix: llama-cpp-python subfolder inherit bug Code Style #454: Commit 9a17ac8 pushed by zhudotexe
February 17, 2025 22:03 16s dev
dev
February 17, 2025 22:03 16s
Update r1-quant.py Code Style #453: Commit 96fc3df pushed by zhudotexe
February 17, 2025 20:44 18s dev
dev
February 17, 2025 20:44 18s
dev: logging Code Style #452: Commit ef82767 pushed by zhudotexe
February 17, 2025 20:43 22s dev
dev
February 17, 2025 20:43 22s
fix: off-by-1 error in loading multifiles in llamacpp Code Style #451: Commit 53c7b31 pushed by zhudotexe
February 17, 2025 20:41 22s dev
dev
February 17, 2025 20:41 22s
chore: update gha llama test to use llama3.1 Code Style #450: Commit 2c54ace pushed by zhudotexe
February 14, 2025 19:45 18s dev
dev
February 14, 2025 19:45 18s
chore: log when we are downloading additional shards Code Style #449: Commit 2414549 pushed by zhudotexe
February 14, 2025 18:33 17s dev
dev
February 14, 2025 18:33 17s
feat: automatically download additional shards if quant is split Code Style #448: Commit 6242b9c pushed by zhudotexe
February 14, 2025 18:26 20s dev
dev
February 14, 2025 18:26 20s
dev: test on gpu Code Style #447: Commit a6a5836 pushed by zhudotexe
February 14, 2025 18:10 20s dev
dev
February 14, 2025 18:10 20s
feat: make llamacppengine use HF chat templates Code Style #446: Commit 464bfe2 pushed by zhudotexe
February 14, 2025 18:06 20s dev
dev
February 14, 2025 18:06 20s
chore: use async input for chat_in_terminal; better asyncio moderniza… Code Style #445: Commit eae979f pushed by zhudotexe
February 5, 2025 20:57 18s main
main
February 5, 2025 20:57 18s
chore: bump version Code Style #444: Commit 5294475 pushed by zhudotexe
February 3, 2025 20:50 17s v1.3.0
v1.3.0
February 3, 2025 20:50 17s
chore: bump version Code Style #443: Commit 5294475 pushed by zhudotexe
February 3, 2025 20:41 19s main
main
February 3, 2025 20:41 19s