Skip to content

Actions: Martin1887/scorpion

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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. Code style tests #32: Commit 23e6b05 pushed by Martin1887
7m 27s scorpion
scorpion
7m 27s
Revamp preprocessor. macOS #32: Commit 23e6b05 pushed by Martin1887
1s scorpion
scorpion
1s
Revamp preprocessor. Ubuntu #32: Commit 23e6b05 pushed by Martin1887
14m 17s scorpion
scorpion
14m 17s
Revamp preprocessor. Windows #32: Commit 23e6b05 pushed by Martin1887
20m 30s scorpion
scorpion
20m 30s
Revamp preprocessor. .github/workflows/apptainer.yml #61: Commit 23e6b05 pushed by Martin1887
1s scorpion
scorpion
1s
Revamp preprocessor. Docs #4: 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. Ubuntu #31: Commit 7d742a2 pushed by Martin1887
13m 53s scorpion
scorpion
13m 53s
Use Ubuntu 24.04 for building Apptainer. Docs #3: Commit 7d742a2 pushed by Martin1887
1s scorpion
scorpion
1s
Use Ubuntu 24.04 for building Apptainer. Windows #31: Commit 7d742a2 pushed by Martin1887
20m 56s scorpion
scorpion
20m 56s
Use Ubuntu 24.04 for building Apptainer. Code style tests #31: Commit 7d742a2 pushed by Martin1887
7m 44s scorpion
scorpion
7m 44s
Use Ubuntu 24.04 for building Apptainer. .github/workflows/apptainer.yml #52: Commit 7d742a2 pushed by Martin1887
1s scorpion
scorpion
1s
Use Ubuntu 24.04 for building Apptainer. macOS #31: 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