Skip to content

Actions: zhudotexe/kani

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
chore: isort Build Docs #303: Commit 0a3f6d9 pushed by zhudotexe
April 19, 2024 18:21 2m 37s v1-dev
v1-dev
April 19, 2024 18:21 2m 37s
chore: isort Test Package #320: Commit 0a3f6d9 pushed by zhudotexe
April 19, 2024 18:21 59m 16s v1-dev
v1-dev
April 19, 2024 18:21 59m 16s
chore: isort Code Style #322: Commit 0a3f6d9 pushed by zhudotexe
April 19, 2024 18:21 24s v1-dev
v1-dev
April 19, 2024 18:21 24s
refactor: cohere command-r mixin Test Package #319: Commit b10114e pushed by zhudotexe
April 19, 2024 16:18 52m 5s v1-dev
v1-dev
April 19, 2024 16:18 52m 5s
refactor: cohere command-r mixin Code Style #321: Commit b10114e pushed by zhudotexe
April 19, 2024 16:18 18s v1-dev
v1-dev
April 19, 2024 16:18 18s
refactor: cohere command-r mixin Build Docs #302: Commit b10114e pushed by zhudotexe
April 19, 2024 16:18 2m 33s v1-dev
v1-dev
April 19, 2024 16:18 2m 33s
refactor(cohere): simplify command-r prompt build Test Package #318: Commit 05fe1ac pushed by zhudotexe
April 19, 2024 02:55 1h 1m 1s v1-dev
v1-dev
April 19, 2024 02:55 1h 1m 1s
refactor(cohere): simplify command-r prompt build Build Docs #301: Commit 05fe1ac pushed by zhudotexe
April 19, 2024 02:55 2m 58s v1-dev
v1-dev
April 19, 2024 02:55 2m 58s
refactor(cohere): simplify command-r prompt build Code Style #320: Commit 05fe1ac pushed by zhudotexe
April 19, 2024 02:55 22s v1-dev
v1-dev
April 19, 2024 02:55 22s
docs: misc ref fix Code Style #319: Commit be24343 pushed by zhudotexe
April 18, 2024 19:14 27s v1-dev
v1-dev
April 18, 2024 19:14 27s
docs: misc ref fix Build Docs #300: Commit be24343 pushed by zhudotexe
April 18, 2024 19:14 2m 30s v1-dev
v1-dev
April 18, 2024 19:14 2m 30s
docs: misc ref fix Test Package #317: Commit be24343 pushed by zhudotexe
April 18, 2024 19:14 1h 6m 16s v1-dev
v1-dev
April 18, 2024 19:14 1h 6m 16s
docs: llama 3 engine table Build Docs #299: Commit 6dc4d19 pushed by zhudotexe
April 18, 2024 19:05 2m 21s v1-dev
v1-dev
April 18, 2024 19:05 2m 21s
docs: llama 3 engine table Test Package #316: Commit 6dc4d19 pushed by zhudotexe
April 18, 2024 19:05 58m 4s v1-dev
v1-dev
April 18, 2024 19:05 58m 4s
docs: llama 3 engine table Code Style #318: Commit 6dc4d19 pushed by zhudotexe
April 18, 2024 19:05 23s v1-dev
v1-dev
April 18, 2024 19:05 23s
feat: add llama 3 Build Docs #298: Commit f563677 pushed by zhudotexe
April 18, 2024 17:41 2m 19s v1-dev
v1-dev
April 18, 2024 17:41 2m 19s
feat: add llama 3 Code Style #317: Commit f563677 pushed by zhudotexe
April 18, 2024 17:41 23s v1-dev
v1-dev
April 18, 2024 17:41 23s
feat: add llama 3 Test Package #315: Commit f563677 pushed by zhudotexe
April 18, 2024 17:41 1h 2m 11s v1-dev
v1-dev
April 18, 2024 17:41 1h 2m 11s
docs: add kani-ratelimits extension Test Package #314: Commit 3b6e670 pushed by zhudotexe
April 18, 2024 17:09 1h 7m 50s v1-dev
v1-dev
April 18, 2024 17:09 1h 7m 50s
docs: add kani-ratelimits extension Build Docs #297: Commit 3b6e670 pushed by zhudotexe
April 18, 2024 17:09 3m 9s v1-dev
v1-dev
April 18, 2024 17:09 3m 9s
docs: add kani-ratelimits extension Code Style #316: Commit 3b6e670 pushed by zhudotexe
April 18, 2024 17:09 23s v1-dev
v1-dev
April 18, 2024 17:09 23s
chore: update claude, gemma docs Build Docs #296: Commit 82f5548 pushed by zhudotexe
April 13, 2024 16:16 3m 14s main
main
April 13, 2024 16:16 3m 14s
chore: update claude, gemma docs Test Package #313: Commit 82f5548 pushed by zhudotexe
April 13, 2024 16:16 55m 1s main
main
April 13, 2024 16:16 55m 1s
chore: update claude, gemma docs Code Style #315: Commit 82f5548 pushed by zhudotexe
April 13, 2024 16:16 17s main
main
April 13, 2024 16:16 17s
Merge pull request #38 from zhudotexe/v1-dev Test Package #312: Commit b1533b4 pushed by zhudotexe
April 12, 2024 17:22 1h 22m 37s v1.0.0rc0
v1.0.0rc0
April 12, 2024 17:22 1h 22m 37s