Skip to content

Actions: BorgwardtLab/polygraph-benchmark

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
357 workflow runs
357 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add benchmark results and description update to docs Ruff Lint #106: Pull request #41 opened by pjhartout
11s benchmark
benchmark
11s
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 (#40) Ruff Lint #105: Commit f59e96b pushed by pjhartout
13s master
master
13s
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 table from readme, not really informative there Ruff Lint #104: Pull request #40 opened by pjhartout
15s results
results
15s
Remove style blocks (#39) Ruff Lint #103: Commit 23cb809 pushed by pjhartout
11s master
master
11s
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
Remove style blocks Ruff Lint #102: Pull request #39 opened by pjhartout
11s results
results
11s
Update description in docs main page (#38) Ruff Lint #101: Commit 698561a pushed by pjhartout
17s master
master
17s
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
Update description in docs main page Ruff Lint #100: Pull request #38 opened by pjhartout
16s results
results
16s
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 to docs and README.md (#37) Ruff Lint #99: Commit 1320e21 pushed by pjhartout
14s master
master
14s
add results tables Ruff Lint #98: Pull request #37 synchronize by pjhartout
12s results
results
12s
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 results tables Ruff Lint #97: Pull request #37 opened by pjhartout
32s results
results
32s
Add spacing between PolyGraph and Benchmark, remove redundant header … Pyright Type Check #111: Commit 2479140 pushed by pjhartout
2m 27s master
master
2m 27s
Add spacing between PolyGraph and Benchmark, remove redundant header … Ruff Lint #96: Commit 2479140 pushed by pjhartout
13s master
master
13s
Logo Ruff Lint #95: Pull request #36 synchronize by pjhartout
17s logo
logo
17s
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
Logo Ruff Lint #94: Pull request #36 synchronize by pjhartout
15s logo
logo
15s