Skip to content

Actions: hlefebvr/idol

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
494 workflow runs
494 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updates before remove
Tests #44: Commit 0e64cc0 pushed by hlefebvr
October 27, 2023 11:49 20m 46s dev
dev
October 27, 2023 11:49 20m 46s
fixes OptimizerWithLazyUpdates
Tests #43: Commit e911dda pushed by hlefebvr
October 27, 2023 11:27 11m 52s dev
dev
October 27, 2023 11:27 11m 52s
remove postponing of nodes
Tests #42: Commit 8d4aa7b pushed by hlefebvr
October 26, 2023 12:48 12m 9s dev
dev
October 26, 2023 12:48 12m 9s
Merge branch 'main' of github.com:hlefebvr/idol
Tests #41: Commit 8d01843 pushed by hlefebvr
October 25, 2023 14:55 33m 16s dev
dev
October 25, 2023 14:55 33m 16s
Merge branch 'main' of github.com:hlefebvr/idol
Tests #40: Commit 8d01843 pushed by hlefebvr
October 25, 2023 14:55 28m 49s main
October 25, 2023 14:55 28m 49s
fixes include of robin_hood
Tests #39: Commit 6521789 pushed by hlefebvr
October 25, 2023 09:14 26m 11s dev
dev
October 25, 2023 09:14 26m 11s
fixes BranchAndBound wrongly reporting TimeLimit
Tests #38: Commit ae7c03a pushed by hlefebvr
October 25, 2023 08:57 12m 13s dev
dev
October 25, 2023 08:57 12m 13s
use unordered_flat_map with robin_hood
Tests #37: Commit 2b8074e pushed by hlefebvr
October 25, 2023 07:59 20m 24s dev
dev
October 25, 2023 07:59 20m 24s
draft of diver
Tests #36: Commit e94b706 pushed by hlefebvr
October 24, 2023 16:24 1h 22m 58s dev
dev
October 24, 2023 16:24 1h 22m 58s
update checkout to v4
Tests #35: Commit b194fa4 pushed by hlefebvr
October 24, 2023 16:04 28m 13s dev
dev
October 24, 2023 16:04 28m 13s
fixes break condition
Tests #34: Commit a90392a pushed by hlefebvr
October 24, 2023 14:34 16m 54s dev
dev
October 24, 2023 14:34 16m 54s
Merge branch 'main' into dev
Tests #33: Commit 9d222df pushed by hlefebvr
October 24, 2023 14:33 11m 45s dev
dev
October 24, 2023 14:33 11m 45s
Update README.md
Tests #32: Commit f2a29bb pushed by hlefebvr
October 24, 2023 13:45 14m 58s main
October 24, 2023 13:45 14m 58s
Merge branch 'dev'
Tests #31: Commit 9d76568 pushed by hlefebvr
October 24, 2023 13:03 27m 1s main
October 24, 2023 13:03 27m 1s
fixes support for robin_hood maps
Tests #30: Commit 4fd0396 pushed by hlefebvr
October 24, 2023 13:03 22m 56s dev
dev
October 24, 2023 13:03 22m 56s
add profiling option
Tests #29: Commit 388974b pushed by hlefebvr
October 24, 2023 11:00 12m 54s dev
dev
October 24, 2023 11:00 12m 54s
handle Fail status in BB
Tests #28: Commit dc2394d pushed by hlefebvr
October 24, 2023 10:52 11m 37s dev
dev
October 24, 2023 10:52 11m 37s
update README.md
Tests #27: Commit 7cdc1ea pushed by hlefebvr
October 24, 2023 08:46 39m 41s main
October 24, 2023 08:46 39m 41s
Merge branch 'main' of github.com:hlefebvr/idol
Tests #26: Commit f4865ff pushed by hlefebvr
October 24, 2023 08:46 23m 56s main
October 24, 2023 08:46 23m 56s
Update README.md
Tests #25: Commit a5d5311 pushed by hlefebvr
October 24, 2023 08:44 21m 56s dev
dev
October 24, 2023 08:44 21m 56s
Check for gap is closed during subtree exploration
Tests #24: Commit e49d9b1 pushed by hlefebvr
October 23, 2023 18:20 12m 24s main
October 23, 2023 18:20 12m 24s
fixes build status in doc
Tests #23: Commit f24e045 pushed by hlefebvr
October 23, 2023 16:17 37m 43s main
October 23, 2023 16:17 37m 43s
Merge branch 'main' of github.com:hlefebvr/idol
Tests #22: Commit 16dd2f6 pushed by hlefebvr
October 23, 2023 16:03 38m 10s main
October 23, 2023 16:03 38m 10s
Update README.md
Tests #21: Commit eb8f8d9 pushed by hlefebvr
October 23, 2023 15:41 1h 0m 7s main
October 23, 2023 15:41 1h 0m 7s
Merge branch 'main' of github.com:hlefebvr/idol
Tests #20: Commit 2440ec1 pushed by hlefebvr
October 23, 2023 15:35 48m 6s main
October 23, 2023 15:35 48m 6s
ProTip! You can narrow down the results and go further in time using created:<2023-10-23 or the other filters available.