Skip to content

Actions: BorgwardtLab/polygraph-benchmark

Actions

Pyright Type Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pyright.yaml
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add documentation link for PolyGraph library (#47) Pyright Type Check #132: Commit 7a60b5c pushed by pjhartout
2m 18s master
master
2m 18s
Add documentation link for PolyGraph library Pyright Type Check #131: Pull request #47 opened by pjhartout
2m 18s docs/link
docs/link
2m 18s
v1.0.2: fixes python 3.9 dependencies Pyright Type Check #130: Commit 677cc8f pushed by Markus28
2m 24s master
master
2m 24s
v1.0.2: fixes python 3.9 dependencies Pyright Type Check #129: Pull request #46 opened by Markus28
2m 19s fix-python-39
fix-python-39
2m 19s
add citation (#43) Pyright Type Check #128: Commit f5edb93 pushed by pjhartout
2m 26s master
master
2m 26s
add citation Pyright Type Check #127: Pull request #43 opened by pjhartout
2m 28s citation
citation
2m 28s
center tables (#42) Pyright Type Check #126: Commit bfd6561 pushed by pjhartout
3m 23s master
master
3m 23s
center tables Pyright Type Check #125: Pull request #42 opened by pjhartout
2m 19s center
center
2m 19s
v1.0.1 - add benchmark results and description update to docs (#41) Pyright Type Check #124: Commit 6b82f19 pushed by pjhartout
2m 28s master
master
2m 28s
add benchmark results and description update to docs Pyright Type Check #123: Pull request #41 synchronize by pjhartout
2m 19s benchmark
benchmark
2m 19s
add benchmark results and description update to docs Pyright Type Check #122: Pull request #41 synchronize by pjhartout
2m 23s benchmark
benchmark
2m 23s
add benchmark results and description update to docs Pyright Type Check #121: Pull request #41 opened by pjhartout
2m 28s benchmark
benchmark
2m 28s
remove table from readme, not really informative there (#40) Pyright Type Check #120: Commit f59e96b pushed by pjhartout
2m 18s master
master
2m 18s
remove table from readme, not really informative there Pyright Type Check #119: Pull request #40 opened by pjhartout
2m 36s results
results
2m 36s
Remove style blocks (#39) Pyright Type Check #118: Commit 23cb809 pushed by pjhartout
2m 12s master
master
2m 12s
Remove style blocks Pyright Type Check #117: Pull request #39 opened by pjhartout
2m 30s results
results
2m 30s
Update description in docs main page (#38) Pyright Type Check #116: Commit 698561a pushed by pjhartout
2m 29s master
master
2m 29s
Update description in docs main page Pyright Type Check #115: Pull request #38 opened by pjhartout
2m 46s results
results
2m 46s
add results tables to docs and README.md (#37) Pyright Type Check #114: Commit 1320e21 pushed by pjhartout
2m 21s master
master
2m 21s
add results tables Pyright Type Check #113: Pull request #37 synchronize by pjhartout
2m 28s results
results
2m 28s
add results tables Pyright Type Check #112: Pull request #37 opened by pjhartout
2m 15s results
results
2m 15s
Add spacing between PolyGraph and Benchmark, remove redundant header … Pyright Type Check #111: Commit 2479140 pushed by pjhartout
2m 27s master
master
2m 27s
Logo Pyright Type Check #110: Pull request #36 synchronize by pjhartout
2m 26s logo
logo
2m 26s
Logo Pyright Type Check #109: Pull request #36 synchronize by pjhartout
2m 27s logo
logo
2m 27s
Add Logo (#35) Pyright Type Check #108: Commit 64e85e6 pushed by pjhartout
2m 23s master
master
2m 23s