Skip to content

Actions: jendrikseipp/scorpion

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

LandmarkPhO: fix computing objective coefficients and handling unsolv… Windows #249: Commit defd43a pushed by jendrikseipp
March 7, 2025 21:40 21m 22s scorpion
scorpion
March 7, 2025 21:40 21m 22s
Fix array pool slice printing not advancing iterator. Windows #248: Commit 2ab97d9 pushed by jendrikseipp
March 4, 2025 09:01 1h 0m 18s scorpion
scorpion
March 4, 2025 09:01 1h 0m 18s
fix array pool slice printing not advancing iterator Windows #247: Pull request #16 opened by phoeft670
March 4, 2025 08:45 19m 7s phoeft670:scorpion
phoeft670:scorpion
March 4, 2025 08:45 19m 7s
Add links to readme.md and BUILD.md in docs. Windows #246: Commit 0c7bb1d pushed by jendrikseipp
March 2, 2025 09:26 1h 0m 12s scorpion
scorpion
March 2, 2025 09:26 1h 0m 12s
Fix links in docs. Windows #245: Commit d524db6 pushed by jendrikseipp
March 2, 2025 09:17 1h 0m 12s scorpion
scorpion
March 2, 2025 09:17 1h 0m 12s
Revise main Scorpion docs page. Windows #244: Commit 51536cf pushed by jendrikseipp
March 2, 2025 09:00 1h 0m 11s scorpion
scorpion
March 2, 2025 09:00 1h 0m 11s
Install literate-nav plugin. Windows #243: Commit 655acd2 pushed by jendrikseipp
March 1, 2025 17:15 1h 0m 14s scorpion
scorpion
March 1, 2025 17:15 1h 0m 14s
Update mkdocs configuration. Windows #242: Commit f072592 pushed by jendrikseipp
March 1, 2025 17:05 1h 0m 13s scorpion
scorpion
March 1, 2025 17:05 1h 0m 13s
SplitSelector: fix set_union call. Windows #241: Commit 64072c7 pushed by jendrikseipp
March 1, 2025 16:29 1h 0m 13s scorpion
scorpion
March 1, 2025 16:29 1h 0m 13s
Merge branch 'main' into scorpion Windows #240: Commit d975971 pushed by jendrikseipp
February 27, 2025 20:38 1h 0m 13s scorpion
scorpion
February 27, 2025 20:38 1h 0m 13s
[issue1179] Avoid hardcoding bugfix releases in vagrantfile. Windows #239: Commit b8776a1 pushed by jendrikseipp
February 27, 2025 20:38 16m 38s main
main
February 27, 2025 20:38 16m 38s
Don't use back_inserter in unseq code (MSVC stumbles over it). Windows #238: Commit 64a27ad pushed by jendrikseipp
February 26, 2025 14:52 20m 27s scorpion
scorpion
February 26, 2025 14:52 20m 27s
Fix Clang and MSVC compilation errors. Windows #237: Commit f47c579 pushed by jendrikseipp
February 26, 2025 11:53 10m 20s scorpion
scorpion
February 26, 2025 11:53 10m 20s
Fix tests. Windows #236: Commit 3568a7f pushed by jendrikseipp
February 18, 2025 11:35 9m 55s scorpion
scorpion
February 18, 2025 11:35 9m 55s
Disable clang-15 test. Windows #235: Commit 9b433b0 pushed by jendrikseipp
February 4, 2025 11:54 20m 17s scorpion
scorpion
February 4, 2025 11:54 20m 17s
ExplicitProjectionFactory: sort before calling unique. Windows #234: Commit 6dceb6a pushed by jendrikseipp
February 4, 2025 10:52 19m 45s scorpion
scorpion
February 4, 2025 10:52 19m 45s
ExplicitProjectionFactory: use swap-and-pop for removing items from v… Windows #233: Commit 11b9763 pushed by jendrikseipp
February 1, 2025 12:22 19m 51s scorpion
scorpion
February 1, 2025 12:22 19m 51s
ExplicitProjectionFactory: remove replace_fact() method and skip supe… Windows #232: Commit 70cd03c pushed by jendrikseipp
January 31, 2025 22:49 20m 5s scorpion
scorpion
January 31, 2025 22:49 20m 5s
ExplicitProjectionFactory: uniquify projected preconditions and add d… Windows #231: Commit 58ca3f0 pushed by jendrikseipp
January 31, 2025 21:44 20m 5s scorpion
scorpion
January 31, 2025 21:44 20m 5s
ExplicitProjectionFactory: use vectors instead of hash maps. Windows #230: Commit 3064344 pushed by jendrikseipp
January 31, 2025 21:05 20m 28s scorpion
scorpion
January 31, 2025 21:05 20m 28s
Remove another unused variable. Windows #229: Commit cff78b5 pushed by jendrikseipp
November 29, 2024 20:54 20m 5s scorpion
scorpion
November 29, 2024 20:54 20m 5s
Remove unused variable. Windows #228: Commit edb2912 pushed by jendrikseipp
November 29, 2024 20:44 20m 22s scorpion
scorpion
November 29, 2024 20:44 20m 22s
Remove unused code. Windows #227: Commit 88bd907 pushed by jendrikseipp
November 29, 2024 20:36 19m 39s scorpion
scorpion
November 29, 2024 20:36 19m 39s
Fix plugin name. Windows #226: Commit ee5af01 pushed by jendrikseipp
November 29, 2024 20:32 19m 55s scorpion
scorpion
November 29, 2024 20:32 19m 55s
Pass arguments to search algorithms directly. Windows #225: Commit 851ed3f pushed by jendrikseipp
November 29, 2024 20:27 19m 43s scorpion
scorpion
November 29, 2024 20:27 19m 43s