Skip to content

Actions: Martin1887/scorpion

Actions

.github/workflows/apptainer.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
apptainer.yml
35 workflow runs
35 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[conditional_effects] devenv update .github/workflows/apptainer.yml #65: Commit bef875b pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
Revert "[flaw_selection_strategies] Best strategies and different lim… .github/workflows/apptainer.yml #64: Commit 041630d pushed by Martin1887
Failure flaw_selection_strategies
flaw_selection_strategies
Failure
[conditional_effects] Fix backward deviation flaws in rare cases .github/workflows/apptainer.yml #63: Commit c5d0692 pushed by Martin1887
Failure conditional_effects_merged_upstream_no_stronger_regression_overapproximation
conditional_effects_merged_upstream_no_stronger_regression_overapproximation
Failure
[conditional_effects] Fix backward deviation flaws in rare cases .github/workflows/apptainer.yml #62: Commit 8e79c92 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
Revamp preprocessor. .github/workflows/apptainer.yml #61: Commit 23e6b05 pushed by Martin1887
1s scorpion
scorpion
1s
[flaw_selection_strategies] Always use c for hadd, landmarks and pote… .github/workflows/apptainer.yml #60: Commit 7a6b0f9 pushed by Martin1887
Failure flaw_selection_strategies
flaw_selection_strategies
Failure
[conditional_effects] Optimize shortest_paths by ignoring dead states .github/workflows/apptainer.yml #59: Commit 39ebf3a pushed by Martin1887
Failure conditional_effects_merged_upstream_no_stronger_regression_overapproximation
conditional_effects_merged_upstream_no_stronger_regression_overapproximation
Failure
[conditional_effects] Optimize shortest_paths by ignoring dead states .github/workflows/apptainer.yml #58: Commit 130d926 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Optimize ops with effects by getting them from … .github/workflows/apptainer.yml #57: Commit c626bb2 pushed by Martin1887
Failure conditional_effects_merged_upstream_no_stronger_regression_overapproximation
conditional_effects_merged_upstream_no_stronger_regression_overapproximation
Failure
Revert "[conditional_effects] Fix (not currently used) cond in get_po… .github/workflows/apptainer.yml #56: Commit cb8edc8 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Fix (not currently used) cond in get_possibly_t… .github/workflows/apptainer.yml #55: Commit ee82090 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] in-stack CEGAR abstraction instead of unique_pt… .github/workflows/apptainer.yml #54: Commit 5036690 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Add massif-visualizer .github/workflows/apptainer.yml #53: Commit 8f96d94 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
Use Ubuntu 24.04 for building Apptainer. .github/workflows/apptainer.yml #52: Commit 7d742a2 pushed by Martin1887
1s scorpion
scorpion
1s
[conditional_effects] Fix that for non-domain-abstracted landmark sub… .github/workflows/apptainer.yml #51: Commit 39f8df3 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Add assert for costs in cost saturation .github/workflows/apptainer.yml #50: Commit c11fa55 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Stronger assert, now all dirty states are reset .github/workflows/apptainer.yml #49: Commit e2c3fbd pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Clean dirty state of unreachable/dead-ends and … .github/workflows/apptainer.yml #48: Commit 463c8c6 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Fix missing transitions after rewiring .github/workflows/apptainer.yml #47: Commit f7e6cf5 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Fix dirty considerations in shortest_paths .github/workflows/apptainer.yml #46: Commit ff62c20 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Simplify cond_effect_satisfied_by_nother_cond_s… .github/workflows/apptainer.yml #45: Commit dfb26ad pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Fix missing incoming transitions when some cond… .github/workflows/apptainer.yml #44: Commit ffee37f pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Add parameter to debug shortest paths independe… .github/workflows/apptainer.yml #43: Commit 058ca94 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Over-approximation only for vars with effects i… .github/workflows/apptainer.yml #42: Commit 57e5959 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure
[conditional_effects] Optimize ops with effects by getting them from … .github/workflows/apptainer.yml #41: Commit 819aa14 pushed by Martin1887
Failure conditional_effects_merged_upstream
conditional_effects_merged_upstream
Failure