Skip to content

Actions: CPMpy/cpmpy

Github Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
24 workflow run results
24 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add benchmark
Github Benchmarks #24: Commit c272ab7 pushed by Wout4
January 18, 2024 16:21 1m 47s benchmarks_wv
January 18, 2024 16:21 1m 47s
add readme
Github Benchmarks #23: Commit 53aec08 pushed by Wout4
January 18, 2024 16:18 1m 49s benchmarks_wv
January 18, 2024 16:18 1m 49s
Merge branch 'master' into benchmarks_wv
Github Benchmarks #22: Commit c9b5657 pushed by Wout4
January 18, 2024 14:31 1m 57s benchmarks_wv
January 18, 2024 14:31 1m 57s
display and compare results
Github Benchmarks #21: Commit 9543139 pushed by Wout4
January 18, 2024 14:04 1m 53s benchmarks_wv
January 18, 2024 14:04 1m 53s
save benchmarks as csv
Github Benchmarks #20: Commit 3a6570b pushed by Wout4
January 11, 2024 14:32 1m 53s benchmarks_wv
January 11, 2024 14:32 1m 53s
add local runnable benchmarks
Github Benchmarks #19: Commit 937b057 pushed by Wout4
December 21, 2023 12:17 1m 51s benchmarks_wv
December 21, 2023 12:17 1m 51s
random order, at least 3 runs
Github Benchmarks #18: Commit 06a1812 pushed by Wout4
November 15, 2023 15:08 1h 32m 54s benchmarks_wv
November 15, 2023 15:08 1h 32m 54s
publish first benchmarks
Github Benchmarks #17: Commit 3be59c2 pushed by Wout4
November 15, 2023 14:41 1h 4m 1s benchmarks_wv
November 15, 2023 14:41 1h 4m 1s
add permissions to gh action
Github Benchmarks #16: Commit 956f48b pushed by Wout4
November 15, 2023 14:09 3m 44s benchmarks_wv
November 15, 2023 14:09 3m 44s
test gh_pages with small dataset
Github Benchmarks #15: Commit ae413d8 pushed by Wout4
November 15, 2023 13:53 6m 50s benchmarks_wv
November 15, 2023 13:53 6m 50s
tab correction
Github Benchmarks #14: Commit fcb3bb8 pushed by Wout4
November 15, 2023 12:48 50m 38s benchmarks_wv
November 15, 2023 12:48 50m 38s
automated benchmark github action
Github Benchmarks #13: Commit 842b5f9 pushed by Wout4
November 15, 2023 12:41 Failure benchmarks_wv
November 15, 2023 12:41 Failure
revert
Github Benchmarks #12: Commit d84b763 pushed by Wout4
November 14, 2023 14:03 2m 7s benchmarks
November 14, 2023 14:03 2m 7s
only use benchmarks < 5 min
Github Benchmarks #11: Commit c78b3de pushed by Wout4
November 14, 2023 13:52 1m 56s benchmarks
November 14, 2023 13:52 1m 56s
only use benchmarks < 5 min
Github Benchmarks #10: Commit 76df8e1 pushed by Wout4
November 14, 2023 13:13 2m 9s benchmarks
November 14, 2023 13:13 2m 9s
all 30 min
Github Benchmarks #9: Commit 7d0c499 pushed by Wout4
November 13, 2023 09:29 6h 0m 28s benchmarks
November 13, 2023 09:29 6h 0m 28s
30 min timeout
Github Benchmarks #8: Commit a377897 pushed by Wout4
November 12, 2023 17:59 3m 56s benchmarks
November 12, 2023 17:59 3m 56s
github token
Github Benchmarks #7: Commit 2fec54c pushed by Wout4
November 12, 2023 17:41 3m 2s benchmarks
November 12, 2023 17:41 3m 2s
output.json
Github Benchmarks #6: Commit a29f9cd pushed by Wout4
November 12, 2023 17:36 3m 25s benchmarks
November 12, 2023 17:36 3m 25s
disable comment on alert
Github Benchmarks #5: Commit 2170da8 pushed by Wout4
November 12, 2023 17:14 3m 52s benchmarks
November 12, 2023 17:14 3m 52s
save results
Github Benchmarks #4: Commit e48f99e pushed by Wout4
November 12, 2023 15:34 3m 1s benchmarks
November 12, 2023 15:34 3m 1s
github action verbose
Github Benchmarks #3: Commit b08a73b pushed by Wout4
November 12, 2023 12:54 32m 27s benchmarks
November 12, 2023 12:54 32m 27s
github action
Github Benchmarks #2: Commit 67bd3d9 pushed by Wout4
November 12, 2023 11:16 6h 0m 23s benchmarks
November 12, 2023 11:16 6h 0m 23s
github action
Github Benchmarks #1: Commit f5cd549 pushed by Wout4
November 12, 2023 11:10 1m 38s benchmarks
November 12, 2023 11:10 1m 38s