Skip to content

Actions: zhudotexe/kani

Actions

Test Package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pytest.yml
384 workflow runs
384 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build: include HF_TOKEN Test Package #374: Commit 88490df pushed by zhudotexe
September 15, 2024 22:16 2m 56s hf-concrete-base
hf-concrete-base
September 15, 2024 22:16 2m 56s
build: test promptpipeline equivalence Test Package #373: Commit 59e1c3d pushed by zhudotexe
September 15, 2024 22:11 2m 41s hf-concrete-base
hf-concrete-base
September 15, 2024 22:11 2m 41s
build: add tests for chattemplatepromptpipeline Test Package #370: Commit dd56c91 pushed by zhudotexe
September 12, 2024 23:00 2m 53s hf-concrete-base
hf-concrete-base
September 12, 2024 23:00 2m 53s
refactor: move chat template stuff to pipeline subclass Test Package #369: Commit ee1cea1 pushed by zhudotexe
September 11, 2024 23:04 1h 7m 14s hf-concrete-base
hf-concrete-base
September 11, 2024 23:04 1h 7m 14s
feat: chat template impl 1 Test Package #368: Commit 318e3c0 pushed by zhudotexe
September 10, 2024 20:50 1h 4m 57s hf-concrete-base
hf-concrete-base
September 10, 2024 20:50 1h 4m 57s
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
chore: isort Test Package #366: Commit b751cb9 pushed by zhudotexe
September 5, 2024 21:42 57m 17s hf-concrete-base
hf-concrete-base
September 5, 2024 21:42 57m 17s
chore: black Test Package #365: Commit 1d536f3 pushed by zhudotexe
September 5, 2024 19:01 56m 37s hf-concrete-base
hf-concrete-base
September 5, 2024 19:01 56m 37s
Merge branch 'main' into hf-concrete-base Test Package #364: Commit e0e3164 pushed by zhudotexe
September 5, 2024 18:52 58m 59s hf-concrete-base
hf-concrete-base
September 5, 2024 18:52 58m 59s
refactor!: draft token counting rewrite Test Package #363: Commit 3cf8ae4 pushed by zhudotexe
September 5, 2024 18:50 3m 12s token-count-rewrite
token-count-rewrite
September 5, 2024 18:50 3m 12s
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 #360: Commit 8198dbe pushed by zhudotexe
July 30, 2024 00:34 1h 14m 21s v1.1.1
v1.1.1
July 30, 2024 00:34 1h 14m 21s
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 #357: Commit 099f126 pushed by zhudotexe
July 1, 2024 22:01 1h 23m 18s v1.1.0
v1.1.0
July 1, 2024 22:01 1h 23m 18s
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 #351: Commit a0c0857 pushed by zhudotexe
May 30, 2024 21:34 1h 15m 58s v1.0.2
v1.0.2
May 30, 2024 21:34 1h 15m 58s
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