Skip to content

Actions: zhudotexe/kani

Actions

Build Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
268 workflow runs
268 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump version Build Docs #338: Commit 8cb0161 pushed by zhudotexe
July 1, 2024 21:57 2m 18s main
main
July 1, 2024 21:57 2m 18s
feat: add __repr__ to engines Build Docs #337: Commit f38bd40 pushed by zhudotexe
July 1, 2024 21:48 4m 7s main
main
July 1, 2024 21:48 4m 7s
feat: max_function_rounds in Kani.full_round* Build Docs #336: Commit 1236745 pushed by zhudotexe
June 12, 2024 21:29 4m 12s main
main
June 12, 2024 21:29 4m 12s
hack: gpt-4o parallel fc token counting fix Build Docs #335: Commit 751f043 pushed by zhudotexe
June 11, 2024 18:39 4m 16s main
main
June 11, 2024 18:39 4m 16s
chore: bump version Build Docs #334: Commit a0c0857 pushed by zhudotexe
May 30, 2024 21:34 3m 19s v1.0.2
v1.0.2
May 30, 2024 21:34 3m 19s
chore: bump version Build Docs #333: Commit a0c0857 pushed by zhudotexe
May 30, 2024 21:08 2m 33s main
main
May 30, 2024 21:08 2m 33s
fix: more mistral v3 function calling nuances Build Docs #332: Commit 65cf956 pushed by zhudotexe
May 30, 2024 21:03 2m 43s main
main
May 30, 2024 21:03 2m 43s
chore: ensure openai/hf streams return token usage Build Docs #331: Commit 807d6c8 pushed by zhudotexe
May 30, 2024 18:54 3m 49s main
main
May 30, 2024 18:54 3m 49s
fix(mistral): v3 function calling fixes Build Docs #330: Commit e4d4d22 pushed by zhudotexe
May 28, 2024 18:50 2m 26s main
main
May 28, 2024 18:50 2m 26s
chore(cli): only close engine on Ctrl-C Build Docs #329: Commit 814f796 pushed by zhudotexe
May 28, 2024 16:37 5m 5s main
main
May 28, 2024 16:37 5m 5s
docs: mistral-7b v0.3 Build Docs #328: Commit 2678bb8 pushed by zhudotexe
May 22, 2024 19:56 4m 6s main
main
May 22, 2024 19:56 4m 6s
feat: support for gpt-4o Build Docs #327: Commit be3f743 pushed by zhudotexe
May 14, 2024 15:26 15m 54s v1.0.1
v1.0.1
May 14, 2024 15:26 15m 54s
feat: support for gpt-4o Build Docs #326: Commit be3f743 pushed by zhudotexe
May 14, 2024 15:25 6m 15s main
main
May 14, 2024 15:25 6m 15s
docs: remove rc1 install encouragement Build Docs #325: Commit 2a0302e pushed by zhudotexe
May 9, 2024 21:28 2m 59s v1.0.0
v1.0.0
May 9, 2024 21:28 2m 59s
docs: remove rc1 install encouragement Build Docs #324: Commit 2a0302e pushed by zhudotexe
May 9, 2024 21:21 3m 16s main
main
May 9, 2024 21:21 3m 16s
chore: bump version Build Docs #323: Commit 1731840 pushed by zhudotexe
May 9, 2024 21:19 3m 16s main
main
May 9, 2024 21:19 3m 16s
nit: typo in anthropic env var Build Docs #322: Commit eb0a117 pushed by zhudotexe
May 9, 2024 17:58 3m 20s main
main
May 9, 2024 17:58 3m 20s
fix(anthropic): multi-function calling format Build Docs #321: Commit 05da040 pushed by zhudotexe
May 8, 2024 16:24 7m 27s main
main
May 8, 2024 16:24 7m 27s
chore: token cache openai Build Docs #320: Commit 01c62ad pushed by zhudotexe
May 7, 2024 19:35 4m 6s main
main
May 7, 2024 19:35 4m 6s
docs: encourage installation of v1rc1 Build Docs #319: Commit ae50c6a pushed by zhudotexe
May 2, 2024 16:20 3m 10s main
main
May 2, 2024 16:20 3m 10s
feat: mixtral tool calling Build Docs #318: Commit ea338df pushed by zhudotexe
May 1, 2024 19:03 2m 33s main
main
May 1, 2024 19:03 2m 33s
Merge pull request #40 from zhudotexe/v1-dev Build Docs #317: Commit 34fc170 pushed by zhudotexe
May 1, 2024 15:09 3m 8s main
main
May 1, 2024 15:09 3m 8s
v1 dev Build Docs #316: Pull request #40 synchronize by zhudotexe
May 1, 2024 15:05 3m 6s v1-dev
v1-dev
May 1, 2024 15:05 3m 6s
fix: signature of PromptPipeline.macro_apply Build Docs #315: Commit 2576ff8 pushed by zhudotexe
May 1, 2024 15:05 2m 45s v1-dev
v1-dev
May 1, 2024 15:05 2m 45s
v1 dev Build Docs #314: Pull request #40 opened by zhudotexe
May 1, 2024 15:04 3m 16s v1-dev
v1-dev
May 1, 2024 15:04 3m 16s