Skip to content

Actions: jendrikseipp/scorpion

Actions

Apptainer

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
apptainer.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prune initial state if bound=0. Apptainer #66: Commit 2ffb77c pushed by jendrikseipp
September 12, 2024 12:19 5m 4s scorpion
scorpion
September 12, 2024 12:19 5m 4s
Merge branch 'main' into scorpion Apptainer #65: Commit 3a32742 pushed by jendrikseipp
July 5, 2024 18:40 4m 44s scorpion
scorpion
July 5, 2024 18:40 4m 44s
Remove unneeded includes. Apptainer #64: Commit d1c226e pushed by jendrikseipp
May 29, 2024 17:18 7m 9s scorpion
scorpion
May 29, 2024 17:18 7m 9s
Test dump_reachable_search_space() search. Apptainer #63: Commit 67f4d94 pushed by jendrikseipp
May 10, 2024 08:15 7m 10s scorpion
scorpion
May 10, 2024 08:15 7m 10s
Recommend LAMA for satisficing search. Apptainer #62: Commit 9bcc1c4 pushed by jendrikseipp
March 28, 2024 08:25 5m 14s scorpion
scorpion
March 28, 2024 08:25 5m 14s
Merge branch 'main' into scorpion Apptainer #61: Commit b706f1f pushed by jendrikseipp
March 27, 2024 12:12 5m 25s scorpion
scorpion
March 27, 2024 12:12 5m 25s
Recommend using Apptainer image. Apptainer #60: Commit b28185d pushed by jendrikseipp
March 2, 2024 20:26 4m 53s scorpion
scorpion
March 2, 2024 20:26 4m 53s
Merge branch 'main' into scorpion Apptainer #59: Commit 8cb0462 pushed by jendrikseipp
January 12, 2024 10:45 4m 36s scorpion
scorpion
January 12, 2024 10:45 4m 36s
Merge branch 'main' into scorpion Apptainer #58: Commit d09a8d5 pushed by jendrikseipp
January 10, 2024 17:55 5m 28s scorpion
scorpion
January 10, 2024 17:55 5m 28s
Skip macOS tests. Apptainer #57: Commit 61f8d80 pushed by jendrikseipp
January 9, 2024 15:00 5m 42s scorpion
scorpion
January 9, 2024 15:00 5m 42s
Merge branch 'main' into scorpion Apptainer #56: Commit 4859a70 pushed by jendrikseipp
January 9, 2024 14:12 5m 38s scorpion
scorpion
January 9, 2024 14:12 5m 38s
Backport some changes from feature branch, such as making the flaw se… Apptainer #55: Commit 9ec1210 pushed by jendrikseipp
December 10, 2023 14:02 4m 53s scorpion
scorpion
December 10, 2023 14:02 4m 53s
Merge branch 'main' into scorpion Apptainer #54: Commit db5cd29 pushed by jendrikseipp
December 8, 2023 09:43 5m 6s scorpion
scorpion
December 8, 2023 09:43 5m 6s
If the h2 preprocessor fails, proceed with the original SAS+ task. Apptainer #53: Commit 01f9712 pushed by jendrikseipp
October 18, 2023 09:20 9m 42s scorpion
scorpion
October 18, 2023 09:20 9m 42s
Fix links. Apptainer #52: Commit ef1a63a pushed by jendrikseipp
October 15, 2023 09:07 7m 22s scorpion
scorpion
October 15, 2023 09:07 7m 22s
Merge branch 'main' into scorpion Apptainer #51: Commit 1e03b80 pushed by jendrikseipp
October 15, 2023 08:56 7m 19s scorpion
scorpion
October 15, 2023 08:56 7m 19s
Merge scorpion branches. Apptainer #50: Commit 41c953e pushed by jendrikseipp
October 7, 2023 09:31 7m 19s scorpion
scorpion
October 7, 2023 09:31 7m 19s
Link to Scorpion 2023. Apptainer #49: Commit ba4f731 pushed by jendrikseipp
October 7, 2023 09:22 7m 57s scorpion
scorpion
October 7, 2023 09:22 7m 57s
Indent nested lists by four spaces to fix Markdown export. Apptainer #48: Commit 3174e2d pushed by jendrikseipp
October 6, 2023 20:31 7m 35s scorpion
scorpion
October 6, 2023 20:31 7m 35s
Bump txt2tags version. Apptainer #47: Commit ab99ca8 pushed by jendrikseipp
October 6, 2023 18:10 8m 45s scorpion
scorpion
October 6, 2023 18:10 8m 45s
End list. Apptainer #46: Commit 839e494 pushed by jendrikseipp
October 6, 2023 16:58 7m 20s scorpion
scorpion
October 6, 2023 16:58 7m 20s
Fix txt2tags markup for lists. Apptainer #45: Commit 683f327 pushed by jendrikseipp
October 6, 2023 15:50 9m 14s scorpion
scorpion
October 6, 2023 15:50 9m 14s
Fix docs. Apptainer #44: Commit 473e5ba pushed by jendrikseipp
October 5, 2023 10:25 10m 32s scorpion
scorpion
October 5, 2023 10:25 10m 32s
Fix SoPlex interface and compilation with CPLEX on Windows. Apptainer #43: Commit 414535d pushed by jendrikseipp
October 5, 2023 08:05 9m 15s scorpion
scorpion
October 5, 2023 08:05 9m 15s
Fix CI Apptainer #42: Pull request #13 synchronize by jendrikseipp
October 5, 2023 06:28 8m 2s fix-ci
fix-ci
October 5, 2023 06:28 8m 2s