Skip to content

Actions: Certora/graphcore

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
96 workflow runs
96 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Graphcore changes for natspec/autoprove (#18) pytest-check #31: Commit d427b0f pushed by jtoman
39s master
master
39s
Graphcore changes for natspec/autoprove (#18) pyright-check #31: Commit d427b0f pushed by jtoman
18s master
master
18s
Graphcore changes for natspec/autoprove pyright-check #30: Pull request #18 synchronize by jtoman
19s jtoman/fs-layer-updates
jtoman/fs-layer-updates
19s
Graphcore changes for natspec/autoprove pytest-check #30: Pull request #18 synchronize by jtoman
34s jtoman/fs-layer-updates
jtoman/fs-layer-updates
34s
Add with_cache_ttl to the graph builder pyright-check #29: Pull request #23 opened by naftali-g
24s naftali/one-hour-ttl
naftali/one-hour-ttl
24s
Add with_cache_ttl to the graph builder pytest-check #29: Pull request #23 opened by naftali-g
41s naftali/one-hour-ttl
naftali/one-hour-ttl
41s
Fail loudly on max output token reached error pyright-check #28: Pull request #20 synchronize by naftali-g
16s naftali/fail-on-max-tokens
naftali/fail-on-max-tokens
16s
Fail loudly on max output token reached error pytest-check #28: Pull request #20 synchronize by naftali-g
38s naftali/fail-on-max-tokens
naftali/fail-on-max-tokens
38s
Jtoman/natspec gc again pytest-check #27: Pull request #22 opened by jtoman
30s jtoman/natspec-gc-again
jtoman/natspec-gc-again
30s
Jtoman/natspec gc again pyright-check #27: Pull request #22 opened by jtoman
21s jtoman/natspec-gc-again
jtoman/natspec-gc-again
21s
OpenAI compatibility pytest-check #26: Pull request #21 opened by jtoman
28s jtoman/openai-memory-backend
jtoman/openai-memory-backend
28s
OpenAI compatibility pyright-check #26: Pull request #21 opened by jtoman
16s jtoman/openai-memory-backend
jtoman/openai-memory-backend
16s
Fail loudly on max output token reached error pytest-check #25: Pull request #20 opened by naftali-g
32s naftali/fail-on-max-tokens
naftali/fail-on-max-tokens
32s
Fail loudly on max output token reached error pyright-check #25: Pull request #20 opened by naftali-g
17s naftali/fail-on-max-tokens
naftali/fail-on-max-tokens
17s
Uses anthropic built in caching (#19) pyright-check #24: Commit 5947dba pushed by jtoman
16s master
master
16s
Uses anthropic built in caching (#19) pytest-check #24: Commit 5947dba pushed by jtoman
34s master
master
34s
Uses anthropic built in caching pyright-check #23: Pull request #19 synchronize by jtoman
15s jtoman/removed-cached
jtoman/removed-cached
15s
Uses anthropic built in caching pytest-check #23: Pull request #19 synchronize by jtoman
32s jtoman/removed-cached
jtoman/removed-cached
32s
Uses anthropic built in caching pytest-check #22: Pull request #19 synchronize by jtoman
16s jtoman/removed-cached
jtoman/removed-cached
16s
Uses anthropic built in caching pyright-check #22: Pull request #19 synchronize by jtoman
17s jtoman/removed-cached
jtoman/removed-cached
17s
Merge pull request #17 from Certora/naftali/max-prompt-tokens pytest-check #21: Commit 837667d pushed by naftali-g
28s master
master
28s
Merge pull request #17 from Certora/naftali/max-prompt-tokens pyright-check #21: Commit 837667d pushed by naftali-g
16s master
master
16s
Use token usage as threshold for summarization pytest-check #20: Pull request #17 synchronize by naftali-g
28s naftali/max-prompt-tokens
naftali/max-prompt-tokens
28s
Use token usage as threshold for summarization pyright-check #20: Pull request #17 synchronize by naftali-g
19s naftali/max-prompt-tokens
naftali/max-prompt-tokens
19s
Uses anthropic built in caching pytest-check #19: Pull request #19 opened by jtoman
36s jtoman/removed-cached
jtoman/removed-cached
36s