Skip to content

Actions: Certora/graphcore

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
144 workflow runs
144 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
Schema black magic for tool families (#31) pytest-check #55: Commit 4c35857 pushed by jtoman
1m 3s master
master
1m 3s
Schema black magic for tool families (#31) pyright-check #55: Commit 4c35857 pushed by jtoman
17s master
master
17s
Schema black magic for tool families pyright-check #54: Pull request #31 synchronize by jtoman
18s jtoman/tool-families
jtoman/tool-families
18s
Schema black magic for tool families pytest-check #54: Pull request #31 synchronize by jtoman
50s jtoman/tool-families
jtoman/tool-families
50s
Schema black magic for tool families pyright-check #53: Pull request #31 synchronize by jtoman
15s jtoman/tool-families
jtoman/tool-families
15s
Schema black magic for tool families pytest-check #53: Pull request #31 synchronize by jtoman
54s jtoman/tool-families
jtoman/tool-families
54s
Schema black magic for tool families pytest-check #52: Pull request #31 opened by jtoman
37s jtoman/tool-families
jtoman/tool-families
37s
Schema black magic for tool families pyright-check #52: Pull request #31 opened by jtoman
17s jtoman/tool-families
jtoman/tool-families
17s
Serialize tool calls that rewrite a plain state channel pytest-check #51: Pull request #30 synchronize by naftali-g
34s naftali/sequential-tools
naftali/sequential-tools
34s
Serialize tool calls that rewrite a plain state channel pyright-check #51: Pull request #30 synchronize by naftali-g
15s naftali/sequential-tools
naftali/sequential-tools
15s
Serialize tool calls that rewrite a plain state channel pyright-check #50: Pull request #30 opened by naftali-g
24s naftali/sequential-tools
naftali/sequential-tools
24s
Serialize tool calls that rewrite a plain state channel pytest-check #50: Pull request #30 opened by naftali-g
35s naftali/sequential-tools
naftali/sequential-tools
35s
Even FURTHER expand inputs; caching on the graph (#28) pytest-check #49: Commit 5b29513 pushed by jtoman
39s master
master
39s
Even FURTHER expand inputs; caching on the graph (#28) pyright-check #49: Commit 5b29513 pushed by jtoman
21s master
master
21s
Merge pull request #29 from Certora/shelly/vfs-forbidden-predicates pytest-check #48: Commit c8b3ae5 pushed by shellygr
37s master
master
37s
Merge pull request #29 from Certora/shelly/vfs-forbidden-predicates pyright-check #48: Commit c8b3ae5 pushed by shellygr
21s master
master
21s
Accept a predicate for forbidden_read / forbidden_write pyright-check #47: Pull request #29 opened by shellygr
20s shelly/vfs-forbidden-predicates
shelly/vfs-forbidden-predicates
20s
Accept a predicate for forbidden_read / forbidden_write pytest-check #47: Pull request #29 opened by shellygr
28s shelly/vfs-forbidden-predicates
shelly/vfs-forbidden-predicates
28s
Even FURTHER expand inputs; caching on the graph pytest-check #46: Pull request #28 opened by jtoman
1m 22s jtoman/even-more-expanded-inputs
jtoman/even-more-expanded-inputs
1m 22s
Even FURTHER expand inputs; caching on the graph pyright-check #46: Pull request #28 opened by jtoman
59s jtoman/even-more-expanded-inputs
jtoman/even-more-expanded-inputs
59s
more fixes for monitor (#27) pyright-check #45: Commit febd808 pushed by jtoman
23s master
master
23s
more fixes for monitor (#27) pytest-check #45: Commit febd808 pushed by jtoman
28s master
master
28s
more fixes for monitor pytest-check #44: Pull request #27 opened by jtoman
46s jtoman/more-monitoring-fixes
jtoman/more-monitoring-fixes
46s
more fixes for monitor pyright-check #44: Pull request #27 opened by jtoman
21s jtoman/more-monitoring-fixes
jtoman/more-monitoring-fixes
21s
Move max prompt tokens decision to caller (#26) pyright-check #43: Commit 932cf73 pushed by jtoman
14s master
master
14s