Skip to content

Actions: zhudotexe/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,079 workflow runs
1,079 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
v1.1.0 Upload Python Package #31: Release v1.1.0 created by zhudotexe
July 1, 2024 22:01 42s
July 1, 2024 22:01 42s
chore: bump version but minor Build Docs #340: Commit 099f126 pushed by zhudotexe
July 1, 2024 22:01 2m 17s v1.1.0
v1.1.0
July 1, 2024 22:01 2m 17s
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 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 Build Docs #339: Commit 099f126 pushed by zhudotexe
July 1, 2024 21:58 2m 41s main
main
July 1, 2024 21:58 2m 41s
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 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 Build Docs #338: Commit 8cb0161 pushed by zhudotexe
July 1, 2024 21:57 2m 18s main
main
July 1, 2024 21:57 2m 18s
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
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 Code Style #356: Commit f38bd40 pushed by zhudotexe
July 1, 2024 21:48 20s main
main
July 1, 2024 21:48 20s
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: 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* Build Docs #336: Commit 1236745 pushed by zhudotexe
June 12, 2024 21:29 4m 12s main
main
June 12, 2024 21:29 4m 12s
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
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 Test Package #352: Commit 751f043 pushed by zhudotexe
June 11, 2024 18:39 49m 14s main
main
June 11, 2024 18:39 49m 14s
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
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 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 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
v1.0.2 Upload Python Package #30: Release v1.0.2 created by zhudotexe
May 30, 2024 21:34 55s
May 30, 2024 21:34 55s
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
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