Skip to content

Actions: Certora/graphcore

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added parameter to grep_files to return the content of matching lines. mypy-check #12: Pull request #4 synchronize by certo-gco
32s vfs-grep-matching-lines
vfs-grep-matching-lines
32s
Added parameter to grep_files to return the content of matching lines. mypy-check #11: Pull request #4 opened by certo-gco
37s vfs-grep-matching-lines
vfs-grep-matching-lines
37s
Merge pull request #3 from Certora/shelly/pytoml mypy-check #10: Commit 9cdd23d pushed by shellygr
37s master
master
37s
aligning requirements mypy-check #9: Pull request #3 synchronize by shellygr
43s shelly/pytoml
shelly/pytoml
43s
aligning requirements mypy-check #8: Pull request #3 synchronize by shellygr
39s shelly/pytoml
shelly/pytoml
39s
aligning requirements mypy-check #7: Pull request #3 synchronize by shellygr
38s shelly/pytoml
shelly/pytoml
38s
aligning requirements mypy-check #6: Pull request #3 synchronize by shellygr
36s shelly/pytoml
shelly/pytoml
36s
aligning requirements mypy-check #5: Pull request #3 opened by shellygr
17s shelly/pytoml
shelly/pytoml
17s
Merge pull request #2 from Certora/shelly/pytoml mypy-check #4: Commit 860bc22 pushed by shellygr
31s master
master
31s
Make graphcore available as a pip requirement via git ssh mypy-check #3: Pull request #2 opened by shellygr
38s shelly/pytoml
shelly/pytoml
38s
Merge pull request #1 from Certora/jtoman/mypy-setup mypy-check #2: Commit f7c7995 pushed by jtoman
39s master
master
39s
mypy setup, typing fixes mypy-check #1: Pull request #1 opened by jtoman
38s jtoman/mypy-setup
jtoman/mypy-setup
38s