Skip to content

Actions: jendrikseipp/scorpion

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prune initial state if bound=0. Docs #92: Commit 2ffb77c pushed by jendrikseipp
September 12, 2024 12:19 3m 53s scorpion
scorpion
September 12, 2024 12:19 3m 53s
Merge branch 'main' into scorpion Docs #91: Commit 3a32742 pushed by jendrikseipp
July 5, 2024 18:40 3m 55s scorpion
scorpion
July 5, 2024 18:40 3m 55s
Remove unneeded includes. Docs #90: Commit d1c226e pushed by jendrikseipp
May 29, 2024 17:18 4m 3s scorpion
scorpion
May 29, 2024 17:18 4m 3s
Test dump_reachable_search_space() search. Docs #89: Commit 67f4d94 pushed by jendrikseipp
May 10, 2024 08:15 4m 34s scorpion
scorpion
May 10, 2024 08:15 4m 34s
Recommend LAMA for satisficing search. Docs #88: Commit 9bcc1c4 pushed by jendrikseipp
March 28, 2024 08:25 4m 4s scorpion
scorpion
March 28, 2024 08:25 4m 4s
Merge branch 'main' into scorpion Docs #87: Commit b706f1f pushed by jendrikseipp
March 27, 2024 12:12 4m 26s scorpion
scorpion
March 27, 2024 12:12 4m 26s
Recommend using Apptainer image. Docs #86: Commit b28185d pushed by jendrikseipp
March 2, 2024 20:26 4m 5s scorpion
scorpion
March 2, 2024 20:26 4m 5s
Merge branch 'main' into scorpion Docs #85: Commit 8cb0462 pushed by jendrikseipp
January 12, 2024 10:45 3m 57s scorpion
scorpion
January 12, 2024 10:45 3m 57s
Merge branch 'main' into scorpion Docs #84: Commit d09a8d5 pushed by jendrikseipp
January 10, 2024 17:55 3m 59s scorpion
scorpion
January 10, 2024 17:55 3m 59s
Skip macOS tests. Docs #83: Commit 61f8d80 pushed by jendrikseipp
January 9, 2024 15:00 4m 20s scorpion
scorpion
January 9, 2024 15:00 4m 20s
Merge branch 'main' into scorpion Docs #82: Commit 4859a70 pushed by jendrikseipp
January 9, 2024 14:12 4m 12s scorpion
scorpion
January 9, 2024 14:12 4m 12s
Backport some changes from feature branch, such as making the flaw se… Docs #81: Commit 9ec1210 pushed by jendrikseipp
December 10, 2023 14:02 3m 50s scorpion
scorpion
December 10, 2023 14:02 3m 50s
Merge branch 'main' into scorpion Docs #80: Commit db5cd29 pushed by jendrikseipp
December 8, 2023 09:43 4m 0s scorpion
scorpion
December 8, 2023 09:43 4m 0s
If the h2 preprocessor fails, proceed with the original SAS+ task. Docs #79: Commit 01f9712 pushed by jendrikseipp
October 18, 2023 09:20 7m 22s scorpion
scorpion
October 18, 2023 09:20 7m 22s
Fix links. Docs #78: Commit ef1a63a pushed by jendrikseipp
October 15, 2023 09:07 6m 33s scorpion
scorpion
October 15, 2023 09:07 6m 33s
Merge branch 'main' into scorpion Docs #77: Commit 1e03b80 pushed by jendrikseipp
October 15, 2023 08:56 8m 23s scorpion
scorpion
October 15, 2023 08:56 8m 23s
Merge scorpion branches. Docs #76: Commit 41c953e pushed by jendrikseipp
October 7, 2023 09:31 6m 7s scorpion
scorpion
October 7, 2023 09:31 6m 7s
Link to Scorpion 2023. Docs #75: Commit ba4f731 pushed by jendrikseipp
October 7, 2023 09:22 7m 31s scorpion
scorpion
October 7, 2023 09:22 7m 31s
Indent nested lists by four spaces to fix Markdown export. Docs #74: Commit 3174e2d pushed by jendrikseipp
October 6, 2023 20:31 6m 10s scorpion
scorpion
October 6, 2023 20:31 6m 10s
Bump txt2tags version. Docs #73: Commit ab99ca8 pushed by jendrikseipp
October 6, 2023 18:10 6m 26s scorpion
scorpion
October 6, 2023 18:10 6m 26s
End list. Docs #72: Commit 839e494 pushed by jendrikseipp
October 6, 2023 16:58 8m 50s scorpion
scorpion
October 6, 2023 16:58 8m 50s
Fix txt2tags markup for lists. Docs #71: Commit 683f327 pushed by jendrikseipp
October 6, 2023 15:50 7m 26s scorpion
scorpion
October 6, 2023 15:50 7m 26s
Fix docs. Docs #70: Commit 473e5ba pushed by jendrikseipp
October 5, 2023 10:25 7m 29s scorpion
scorpion
October 5, 2023 10:25 7m 29s
Fix SoPlex interface and compilation with CPLEX on Windows. Docs #69: Commit 414535d pushed by jendrikseipp
October 5, 2023 08:05 40s scorpion
scorpion
October 5, 2023 08:05 40s
Make COST_FACTOR an int to fix compilation on macOS. Docs #68: Commit 690c1d2 pushed by jendrikseipp
October 2, 2023 21:07 6m 0s scorpion
scorpion
October 2, 2023 21:07 6m 0s