Skip to content

Actions: zhudotexe/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
668 workflow runs
668 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump version Test Package #468: Commit e91ee9e pushed by zhudotexe
April 9, 2025 22:26 2h 29m 36s v1.4.2
v1.4.2
April 9, 2025 22:26 2h 29m 36s
chore: bump version Build Docs #451: Commit e91ee9e pushed by zhudotexe
April 9, 2025 22:26 2m 25s v1.4.2
v1.4.2
April 9, 2025 22:26 2m 25s
chore: bump version Code Style #470: Commit e91ee9e pushed by zhudotexe
April 9, 2025 22:26 22s v1.4.2
v1.4.2
April 9, 2025 22:26 22s
v1.4.2 Upload Python Package #41: Release v1.4.2 created by zhudotexe
April 9, 2025 22:26 42s
April 9, 2025 22:26 42s
chore: bump version Test Package #467: Commit e91ee9e pushed by zhudotexe
April 9, 2025 20:00 2h 32m 14s main
main
April 9, 2025 20:00 2h 32m 14s
chore: bump version Code Style #469: Commit e91ee9e pushed by zhudotexe
April 9, 2025 20:00 22s main
main
April 9, 2025 20:00 22s
chore: bump version Build Docs #450: Commit e91ee9e pushed by zhudotexe
April 9, 2025 20:00 2m 25s main
main
April 9, 2025 20:00 2m 25s
chore(hf): allow manually passing a model_cls Code Style #468: Commit cfa760c pushed by zhudotexe
April 9, 2025 20:00 28s main
main
April 9, 2025 20:00 28s
chore(hf): allow manually passing a model_cls Build Docs #449: Commit cfa760c pushed by zhudotexe
April 9, 2025 20:00 2m 25s main
main
April 9, 2025 20:00 2m 25s
chore(hf): allow manually passing a model_cls Test Package #466: Commit cfa760c pushed by zhudotexe
April 9, 2025 20:00 2h 36m 48s main
main
April 9, 2025 20:00 2h 36m 48s
dev: short context sandbox Test Package #465: Commit 228bbe4 pushed by zhudotexe
April 7, 2025 16:27 2h 34m 25s main
main
April 7, 2025 16:27 2h 34m 25s
dev: short context sandbox Code Style #467: Commit 228bbe4 pushed by zhudotexe
April 7, 2025 16:27 22s main
main
April 7, 2025 16:27 22s
dev: short context sandbox Build Docs #448: Commit 228bbe4 pushed by zhudotexe
April 7, 2025 16:27 6m 53s main
main
April 7, 2025 16:27 6m 53s
feat(hf): use an offloadedcache by default for generation Build Docs #447: Commit ad2d45b pushed by zhudotexe
April 6, 2025 23:59 3m 23s main
main
April 6, 2025 23:59 3m 23s
feat(hf): use an offloadedcache by default for generation Code Style #466: Commit ad2d45b pushed by zhudotexe
April 6, 2025 23:59 21s main
main
April 6, 2025 23:59 21s
feat(hf): use an offloadedcache by default for generation Test Package #464: Commit ad2d45b pushed by zhudotexe
April 6, 2025 23:59 3m 27s main
main
April 6, 2025 23:59 3m 27s
chore: bump version Test Package #463: Commit d2714e0 pushed by zhudotexe
April 5, 2025 01:46 2h 29m 48s v1.4.1
v1.4.1
April 5, 2025 01:46 2h 29m 48s
chore: bump version Code Style #465: Commit d2714e0 pushed by zhudotexe
April 5, 2025 01:46 22s v1.4.1
v1.4.1
April 5, 2025 01:46 22s
v1.4.1 Upload Python Package #40: Release v1.4.1 created by zhudotexe
April 5, 2025 01:46 43s
April 5, 2025 01:46 43s
chore: bump version Build Docs #446: Commit d2714e0 pushed by zhudotexe
April 5, 2025 01:46 2m 18s v1.4.1
v1.4.1
April 5, 2025 01:46 2m 18s
chore: bump version Test Package #462: Commit d2714e0 pushed by zhudotexe
April 4, 2025 18:58 2h 31m 44s main
main
April 4, 2025 18:58 2h 31m 44s
chore: bump version Code Style #464: Commit d2714e0 pushed by zhudotexe
April 4, 2025 18:58 17s main
main
April 4, 2025 18:58 17s
chore: bump version Build Docs #445: Commit d2714e0 pushed by zhudotexe
April 4, 2025 18:58 3m 34s main
main
April 4, 2025 18:58 3m 34s
feat: allow slightly more in-depth JSON schema generation config Test Package #461: Commit 87ad233 pushed by zhudotexe
April 4, 2025 18:57 2h 34m 37s main
main
April 4, 2025 18:57 2h 34m 37s
feat: allow slightly more in-depth JSON schema generation config Build Docs #444: Commit 87ad233 pushed by zhudotexe
April 4, 2025 18:57 6m 45s main
main
April 4, 2025 18:57 6m 45s