Skip to content

Actions: zhudotexe/kani

Actions

Test Package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pytest.yml
143 workflow run results
143 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: link to paper in sidebar Test Package #367: Commit c5fa9a9 pushed by zhudotexe
September 6, 2024 20:10 1h 7m 30s main
main
September 6, 2024 20:10 1h 7m 30s
docs: library active maint note Test Package #362: Commit 8d6562f pushed by zhudotexe
August 24, 2024 09:48 57m 8s main
main
August 24, 2024 09:48 57m 8s
feat: allow passing custom tokenizers to OpenAIEngine Test Package #361: Commit d52459a pushed by zhudotexe
August 24, 2024 09:39 53m 46s main
main
August 24, 2024 09:39 53m 46s
chore: bump version Test Package #359: Commit 8198dbe pushed by zhudotexe
July 30, 2024 00:21 1h 17m 46s main
main
July 30, 2024 00:21 1h 17m 46s
fix: pipeline EnsureBoundFunctionCalls Test Package #358: Commit 44d0aea pushed by zhudotexe
July 30, 2024 00:20 1h 15m 0s main
main
July 30, 2024 00:20 1h 15m 0s
chore: bump version but minor Test Package #356: Commit 099f126 pushed by zhudotexe
July 1, 2024 21:58 45m 45s main
main
July 1, 2024 21:58 45m 45s
chore: bump version Test Package #355: Commit 8cb0161 pushed by zhudotexe
July 1, 2024 21:57 1h 4m 44s main
main
July 1, 2024 21:57 1h 4m 44s
feat: add __repr__ to engines Test Package #354: Commit f38bd40 pushed by zhudotexe
July 1, 2024 21:48 54m 41s main
main
July 1, 2024 21:48 54m 41s
feat: max_function_rounds in Kani.full_round* Test Package #353: Commit 1236745 pushed by zhudotexe
June 12, 2024 21:29 1h 19m 58s main
main
June 12, 2024 21:29 1h 19m 58s
hack: gpt-4o parallel fc token counting fix Test Package #352: Commit 751f043 pushed by zhudotexe
June 11, 2024 18:39 49m 14s main
main
June 11, 2024 18:39 49m 14s
chore: bump version Test Package #350: Commit a0c0857 pushed by zhudotexe
May 30, 2024 21:08 58m 12s main
main
May 30, 2024 21:08 58m 12s
fix: more mistral v3 function calling nuances Test Package #349: Commit 65cf956 pushed by zhudotexe
May 30, 2024 21:03 57m 59s main
main
May 30, 2024 21:03 57m 59s
chore: ensure openai/hf streams return token usage Test Package #348: Commit 807d6c8 pushed by zhudotexe
May 30, 2024 18:54 1h 2m 34s main
main
May 30, 2024 18:54 1h 2m 34s
fix(mistral): v3 function calling fixes Test Package #347: Commit e4d4d22 pushed by zhudotexe
May 28, 2024 18:50 1h 1m 44s main
main
May 28, 2024 18:50 1h 1m 44s
chore(cli): only close engine on Ctrl-C Test Package #346: Commit 814f796 pushed by zhudotexe
May 28, 2024 16:37 47m 0s main
main
May 28, 2024 16:37 47m 0s
docs: mistral-7b v0.3 Test Package #345: Commit 2678bb8 pushed by zhudotexe
May 22, 2024 19:56 1h 21m 41s main
main
May 22, 2024 19:56 1h 21m 41s
feat: support for gpt-4o Test Package #343: Commit be3f743 pushed by zhudotexe
May 14, 2024 15:25 57m 18s main
main
May 14, 2024 15:25 57m 18s
docs: remove rc1 install encouragement Test Package #341: Commit 2a0302e pushed by zhudotexe
May 9, 2024 21:21 1h 5m 48s main
main
May 9, 2024 21:21 1h 5m 48s
chore: bump version Test Package #340: Commit 1731840 pushed by zhudotexe
May 9, 2024 21:19 1h 0m 6s main
main
May 9, 2024 21:19 1h 0m 6s
nit: typo in anthropic env var Test Package #339: Commit eb0a117 pushed by zhudotexe
May 9, 2024 17:58 48m 22s main
main
May 9, 2024 17:58 48m 22s
fix(anthropic): multi-function calling format Test Package #338: Commit 05da040 pushed by zhudotexe
May 8, 2024 16:24 1h 15m 0s main
main
May 8, 2024 16:24 1h 15m 0s
chore: token cache openai Test Package #337: Commit 01c62ad pushed by zhudotexe
May 7, 2024 19:35 1h 14m 3s main
main
May 7, 2024 19:35 1h 14m 3s
docs: encourage installation of v1rc1 Test Package #336: Commit ae50c6a pushed by zhudotexe
May 2, 2024 16:20 56m 1s main
main
May 2, 2024 16:20 56m 1s
feat: mixtral tool calling Test Package #335: Commit ea338df pushed by zhudotexe
May 1, 2024 19:03 1h 5m 5s main
main
May 1, 2024 19:03 1h 5m 5s
Merge pull request #40 from zhudotexe/v1-dev Test Package #334: Commit 34fc170 pushed by zhudotexe
May 1, 2024 15:09 1h 0m 56s main
main
May 1, 2024 15:09 1h 0m 56s