Skip to content

Actions: SimonDold/downward

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
174 workflow runs
174 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
Remove unused landmark initial state Ubuntu #38: Pull request #8 opened by SimonDoldsCodex
Action required SimonDoldsCodex:remove-unused-initial-state-reasonable-orders
SimonDoldsCodex:remove-unused-initial-state-reasonable-orders
Action required
Remove unused landmark initial state Code style tests #38: Pull request #8 opened by SimonDoldsCodex
Action required SimonDoldsCodex:remove-unused-initial-state-reasonable-orders
SimonDoldsCodex:remove-unused-initial-state-reasonable-orders
Action required
Remove unused landmark initial state macOS #38: Pull request #8 opened by SimonDoldsCodex
Action required SimonDoldsCodex:remove-unused-initial-state-reasonable-orders
SimonDoldsCodex:remove-unused-initial-state-reasonable-orders
Action required
Remove unused landmark initial state Windows #38: Pull request #8 opened by SimonDoldsCodex
Action required SimonDoldsCodex:remove-unused-initial-state-reasonable-orders
SimonDoldsCodex:remove-unused-initial-state-reasonable-orders
Action required
[trivial] Add WIP script to format change log entries before release. Ubuntu #37: Commit 824499f pushed by SimonDold
11m 41s main
main
11m 41s
[trivial] Add WIP script to format change log entries before release. Update website #37: Commit 824499f pushed by SimonDold
1s main
main
1s
[trivial] Add WIP script to format change log entries before release. Code style tests #37: Commit 824499f pushed by SimonDold
5m 31s main
main
5m 31s
[trivial] Add WIP script to format change log entries before release. Windows #37: Commit 824499f pushed by SimonDold
17m 12s main
main
17m 12s
[trivial] Add WIP script to format change log entries before release. macOS #37: Commit 824499f pushed by SimonDold
6m 4s main
main
6m 4s
[trivial] fix documentation typos. (#309) macOS #36: Commit 5c4588e pushed by SimonDold
8m 3s main
main
8m 3s
[trivial] fix documentation typos. (#309) Ubuntu #36: Commit 5c4588e pushed by SimonDold
12m 13s main
main
12m 13s
[trivial] fix documentation typos. (#309) Windows #36: Commit 5c4588e pushed by SimonDold
17m 2s main
main
17m 2s
[trivial] fix documentation typos. (#309) Code style tests #36: Commit 5c4588e pushed by SimonDold
6m 9s main
main
6m 9s
[trivial] fix documentation typos. (#309) Update website #36: Commit 5c4588e pushed by SimonDold
1s main
main
1s
[issue1224] Switch two-sided to one-sided constraints in the LP inter… macOS #35: Commit 6230635 pushed by SimonDold
4m 17s main
main
4m 17s
[issue1224] Switch two-sided to one-sided constraints in the LP inter… Ubuntu #35: Commit 6230635 pushed by SimonDold
12m 9s main
main
12m 9s
[issue1224] Switch two-sided to one-sided constraints in the LP inter… Windows #35: Commit 6230635 pushed by SimonDold
17m 25s main
main
17m 25s
[issue1224] Switch two-sided to one-sided constraints in the LP inter… Update website #35: Commit 6230635 pushed by SimonDold
1s main
main
1s
[issue1224] Switch two-sided to one-sided constraints in the LP inter… Code style tests #35: Commit 6230635 pushed by SimonDold
4m 12s main
main
4m 12s
[issue1201] Check whether a configuration guarantees completeness. macOS #34: Commit 5650377 pushed by SimonDold
4m 56s main
main
4m 56s
[issue1201] Check whether a configuration guarantees completeness. Update website #34: Commit 5650377 pushed by SimonDold
5s main
main
5s
[issue1201] Check whether a configuration guarantees completeness. Windows #34: Commit 5650377 pushed by SimonDold
16m 10s main
main
16m 10s
[issue1201] Check whether a configuration guarantees completeness. Code style tests #34: Commit 5650377 pushed by SimonDold
4m 9s main
main
4m 9s
[issue1201] Check whether a configuration guarantees completeness. Ubuntu #34: Commit 5650377 pushed by SimonDold
11m 41s main
main
11m 41s
[trivial] fix style Update website #33: Commit 5ea8024 pushed by SimonDold
10s main
main
10s