Skip to content

Actions: zhudotexe/kani

Actions

Code Style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
356 workflow runs
356 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
chore: bump version but minor Code Style #359: Commit 099f126 pushed by zhudotexe
July 1, 2024 22:01 20s v1.1.0
v1.1.0
July 1, 2024 22:01 20s
chore: bump version but minor Code Style #358: Commit 099f126 pushed by zhudotexe
July 1, 2024 21:58 19s main
main
July 1, 2024 21:58 19s
chore: bump version Code Style #357: Commit 8cb0161 pushed by zhudotexe
July 1, 2024 21:57 18s main
main
July 1, 2024 21:57 18s
feat: add __repr__ to engines Code Style #356: Commit f38bd40 pushed by zhudotexe
July 1, 2024 21:48 20s main
main
July 1, 2024 21:48 20s
feat: max_function_rounds in Kani.full_round* Code Style #355: Commit 1236745 pushed by zhudotexe
June 12, 2024 21:29 19s main
main
June 12, 2024 21:29 19s
hack: gpt-4o parallel fc token counting fix Code Style #354: Commit 751f043 pushed by zhudotexe
June 11, 2024 18:39 23s main
main
June 11, 2024 18:39 23s
chore: bump version Code Style #353: Commit a0c0857 pushed by zhudotexe
May 30, 2024 21:34 22s v1.0.2
v1.0.2
May 30, 2024 21:34 22s
chore: bump version Code Style #352: Commit a0c0857 pushed by zhudotexe
May 30, 2024 21:08 21s main
main
May 30, 2024 21:08 21s
fix: more mistral v3 function calling nuances Code Style #351: Commit 65cf956 pushed by zhudotexe
May 30, 2024 21:03 22s main
main
May 30, 2024 21:03 22s
chore: ensure openai/hf streams return token usage Code Style #350: Commit 807d6c8 pushed by zhudotexe
May 30, 2024 18:54 23s main
main
May 30, 2024 18:54 23s
fix(mistral): v3 function calling fixes Code Style #349: Commit e4d4d22 pushed by zhudotexe
May 28, 2024 18:50 21s main
main
May 28, 2024 18:50 21s
chore(cli): only close engine on Ctrl-C Code Style #348: Commit 814f796 pushed by zhudotexe
May 28, 2024 16:37 21s main
main
May 28, 2024 16:37 21s
docs: mistral-7b v0.3 Code Style #347: Commit 2678bb8 pushed by zhudotexe
May 22, 2024 19:56 27s main
main
May 22, 2024 19:56 27s
feat: support for gpt-4o Code Style #346: Commit be3f743 pushed by zhudotexe
May 14, 2024 15:26 19s v1.0.1
v1.0.1
May 14, 2024 15:26 19s
feat: support for gpt-4o Code Style #345: Commit be3f743 pushed by zhudotexe
May 14, 2024 15:25 21s main
main
May 14, 2024 15:25 21s
docs: remove rc1 install encouragement Code Style #344: Commit 2a0302e pushed by zhudotexe
May 9, 2024 21:28 22s v1.0.0
v1.0.0
May 9, 2024 21:28 22s
docs: remove rc1 install encouragement Code Style #343: Commit 2a0302e pushed by zhudotexe
May 9, 2024 21:21 25s main
main
May 9, 2024 21:21 25s
chore: bump version Code Style #342: Commit 1731840 pushed by zhudotexe
May 9, 2024 21:19 24s main
main
May 9, 2024 21:19 24s
nit: typo in anthropic env var Code Style #341: Commit eb0a117 pushed by zhudotexe
May 9, 2024 17:58 23s main
main
May 9, 2024 17:58 23s
fix(anthropic): multi-function calling format Code Style #340: Commit 05da040 pushed by zhudotexe
May 8, 2024 16:24 18s main
main
May 8, 2024 16:24 18s
chore: token cache openai Code Style #339: Commit 01c62ad pushed by zhudotexe
May 7, 2024 19:35 22s main
main
May 7, 2024 19:35 22s
docs: encourage installation of v1rc1 Code Style #338: Commit ae50c6a pushed by zhudotexe
May 2, 2024 16:20 20s main
main
May 2, 2024 16:20 20s
feat: mixtral tool calling Code Style #337: Commit ea338df pushed by zhudotexe
May 1, 2024 19:03 24s main
main
May 1, 2024 19:03 24s
Merge pull request #40 from zhudotexe/v1-dev Code Style #336: Commit 34fc170 pushed by zhudotexe
May 1, 2024 15:09 19s main
main
May 1, 2024 15:09 19s
v1 dev Code Style #335: Pull request #40 synchronize by zhudotexe
May 1, 2024 15:05 28s v1-dev
v1-dev
May 1, 2024 15:05 28s