Skip to content

Actions: esbmc/esbmc-ai

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
199 workflow runs
199 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #114 from Yiannis128/rate-limit Checking #184: Commit 02f8b20 pushed by Yiannis128
March 27, 2024 15:00 10m 26s ver-output-type
ver-output-type
March 27, 2024 15:00 10m 26s
Merge pull request #114 from Yiannis128/rate-limit Checking #183: Commit 02f8b20 pushed by Yiannis128
March 27, 2024 14:59 8m 59s master
master
March 27, 2024 14:59 8m 59s
Removed sleep and added timeout and max_tries Checking #182: Commit a960b36 pushed by Yiannis128
March 27, 2024 14:11 10m 15s rate-limit
rate-limit
March 27, 2024 14:11 10m 15s
Increment version Checking #181: Commit 79d4c8c pushed by Yiannis128
March 27, 2024 11:04 8m 30s rate-limit
rate-limit
March 27, 2024 11:04 8m 30s
Increment version Checking #180: Commit 79d4c8c pushed by Yiannis128
March 14, 2024 02:18 8m 52s dyn-prompt
dyn-prompt
March 14, 2024 02:18 8m 52s
Config Tool: AI Config Menu Checking #179: Commit 0059f4e pushed by Yiannis128
February 20, 2024 23:08 2m 46s config-tool
config-tool
February 20, 2024 23:08 2m 46s
Config Tool: Added refresh_ui method to context. Checking #178: Commit 75727d9 pushed by Yiannis128
February 20, 2024 21:57 2m 47s config-tool
config-tool
February 20, 2024 21:57 2m 47s
Config Tool: ESBMC Menu - Implemented ESBMC Path Checking #177: Commit a8dfa76 pushed by Yiannis128
February 20, 2024 20:12 2m 46s config-tool
config-tool
February 20, 2024 20:12 2m 46s
Increment version Checking #176: Commit 79d4c8c pushed by Yiannis128
February 16, 2024 17:59 7m 4s master
master
February 16, 2024 17:59 7m 4s
Update version Checking #175: Commit 5e37044 pushed by Yiannis128
February 15, 2024 15:26 2m 50s master
master
February 15, 2024 15:26 2m 50s
Merge branch 'master' into config-tool Checking #174: Commit 8778df9 pushed by Yiannis128
February 15, 2024 15:26 2m 53s config-tool
config-tool
February 15, 2024 15:26 2m 53s
Checking Checking #173: by Yiannis128
February 15, 2024 15:02 2m 46s v0.4.0
v0.4.0
February 15, 2024 15:02 2m 46s
COnfig Tool: Begin JSON loading work, ENV optionally hides fields. Checking #172: Commit 35ab87f pushed by Yiannis128
February 15, 2024 14:58 3m 11s config-tool
config-tool
February 15, 2024 14:58 3m 11s
Config Tool: ESBMC Manage can now download+install/uninstall ESBMC. Checking #171: Commit ed28fba pushed by Yiannis128
February 13, 2024 00:07 1m 55s config-tool
config-tool
February 13, 2024 00:07 1m 55s
Updated config tool Checking #170: Commit cdf99c4 pushed by Yiannis128
February 12, 2024 22:26 1m 52s config-tool
config-tool
February 12, 2024 22:26 1m 52s
Merge pull request #108 from Yiannis128/chat-response Checking #169: Commit 7fdd13b pushed by Yiannis128
February 11, 2024 17:43 8m 45s master
master
February 11, 2024 17:43 8m 45s
Added Pipfile packages that were missing and updated regression tests Checking #168: Commit 405aa41 pushed by Yiannis128
February 11, 2024 17:42 8m 20s chat-response
chat-response
February 11, 2024 17:42 8m 20s
Merge pull request #107 from Yiannis128/chat-response Checking #167: Commit 3c3b315 pushed by Yiannis128
February 11, 2024 17:41 1m 20s chat-response
chat-response
February 11, 2024 17:41 1m 20s
Merge pull request #107 from Yiannis128/chat-response Checking #166: Commit 3c3b315 pushed by Yiannis128
February 11, 2024 16:59 1m 11s master
master
February 11, 2024 16:59 1m 11s
Fixed base chat interface bug where tokens would be returned as alway… Checking #165: Commit 9936457 pushed by Yiannis128
February 11, 2024 16:57 1m 9s chat-response
chat-response
February 11, 2024 16:57 1m 9s
Merge pull request #98 from Yiannis128/dynamic-prompt Checking #164: Commit dd15533 pushed by Yiannis128
February 11, 2024 16:56 1m 9s chat-response
chat-response
February 11, 2024 16:56 1m 9s
Merge pull request #98 from Yiannis128/dynamic-prompt Checking #163: Commit dd15533 pushed by Yiannis128
February 11, 2024 16:45 1m 15s master
master
February 11, 2024 16:45 1m 15s
Update Checking #162: Commit 8d060b6 pushed by Yiannis128
February 11, 2024 16:37 1m 12s config-tool
config-tool
February 11, 2024 16:37 1m 12s
ESBMC-AI Config Tool initial commit Checking #161: Commit fcf5168 pushed by Yiannis128
February 8, 2024 17:06 1m 14s config-tool
config-tool
February 8, 2024 17:06 1m 14s
Update pyproject Checking #160: Commit 1710e10 pushed by Yiannis128
February 8, 2024 17:05 1m 18s config-tool
config-tool
February 8, 2024 17:05 1m 18s