Skip to content

Actions: zhudotexe/kani

Test Package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
384 workflow runs
384 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #39 from zhudotexe/v1-dev
Test Package #322: Commit 4b05830 pushed by zhudotexe
April 22, 2024 15:58 49m 42s main
April 22, 2024 15:58 49m 42s
v1: llama3, wrapperengine
Test Package #321: Pull request #39 opened by zhudotexe
April 22, 2024 15:46 1h 14m 23s v1-dev
April 22, 2024 15:46 1h 14m 23s
chore: isort
Test Package #320: Commit 0a3f6d9 pushed by zhudotexe
April 19, 2024 18:21 59m 16s v1-dev
April 19, 2024 18:21 59m 16s
refactor: cohere command-r mixin
Test Package #319: Commit b10114e pushed by zhudotexe
April 19, 2024 16:18 52m 5s v1-dev
April 19, 2024 16:18 52m 5s
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
April 19, 2024 02:55 1h 1m 1s
docs: misc ref fix
Test Package #317: Commit be24343 pushed by zhudotexe
April 18, 2024 19:14 1h 6m 16s v1-dev
April 18, 2024 19:14 1h 6m 16s
docs: llama 3 engine table
Test Package #316: Commit 6dc4d19 pushed by zhudotexe
April 18, 2024 19:05 58m 4s v1-dev
April 18, 2024 19:05 58m 4s
feat: add llama 3
Test Package #315: Commit f563677 pushed by zhudotexe
April 18, 2024 17:41 1h 2m 11s 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
April 18, 2024 17:09 1h 7m 50s
chore: update claude, gemma docs
Test Package #313: Commit 82f5548 pushed by zhudotexe
April 13, 2024 16:16 55m 1s main
April 13, 2024 16:16 55m 1s
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
April 12, 2024 17:22 1h 22m 37s
Merge pull request #38 from zhudotexe/v1-dev
Test Package #311: Commit b1533b4 pushed by zhudotexe
April 12, 2024 17:18 1h 9m 47s main
April 12, 2024 17:18 1h 9m 47s
kani v1
Test Package #310: Pull request #38 synchronize by zhudotexe
April 12, 2024 17:17 1h 16m 7s v1-dev
April 12, 2024 17:17 1h 16m 7s
chore: bump version
Test Package #309: Commit 6b07a1b pushed by zhudotexe
April 12, 2024 17:17 59m 38s v1-dev
April 12, 2024 17:17 59m 38s
kani v1
Test Package #308: Pull request #38 synchronize by zhudotexe
April 12, 2024 16:22 1h 3m 45s v1-dev
April 12, 2024 16:22 1h 3m 45s
fix(cli): weird line splitting when stream has newlines
Test Package #307: Commit 119ca1b pushed by zhudotexe
April 12, 2024 16:22 1h 10m 40s v1-dev
April 12, 2024 16:22 1h 10m 40s
kani v1
Test Package #306: Pull request #38 synchronize by zhudotexe
April 11, 2024 21:02 1h 22m 33s v1-dev
April 11, 2024 21:02 1h 22m 33s
chore: more merge fixes
Test Package #305: Commit 8f9e075 pushed by zhudotexe
April 11, 2024 21:02 1h 12m 16s v1-dev
April 11, 2024 21:02 1h 12m 16s
docs: missing colon in example
Test Package #304: Commit 695fd85 pushed by zhudotexe
April 11, 2024 20:28 1h 26m 24s v1-dev
April 11, 2024 20:28 1h 26m 24s
chore: add warning if ai_function missing docstring
Test Package #303: Commit d4fcf9e pushed by zhudotexe
April 11, 2024 18:38 1h 1m 14s v1-dev
April 11, 2024 18:38 1h 1m 14s
docs: update engine table
Test Package #302: Commit 00a6bfd pushed by zhudotexe
April 11, 2024 18:33 1h 5m 46s v1-dev
April 11, 2024 18:33 1h 5m 46s
chore: isort
Test Package #301: Commit 47c0fd5 pushed by zhudotexe
April 11, 2024 16:49 1h 16m 7s v1-dev
April 11, 2024 16:49 1h 16m 7s
chore: isort
Test Package #300: Commit 47c0fd5 pushed by zhudotexe
April 11, 2024 16:49 1h 8m 53s v1/cohere
April 11, 2024 16:49 1h 8m 53s
fix(cohere): more prompt bugs (param sigs)
Test Package #299: Commit c266977 pushed by zhudotexe
April 10, 2024 21:09 1h 13m 21s v1/cohere
April 10, 2024 21:09 1h 13m 21s
fix(cohere): various prompt bugs
Test Package #298: Commit 524081f pushed by zhudotexe
April 10, 2024 20:54 50m 58s v1/cohere
April 10, 2024 20:54 50m 58s