Skip to content

Actions: aibasel/downward

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,693 workflow runs
1,693 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[trivial] Use ubuntu jammy in vagrant file.
Windows #1598: Commit 99495cb pushed by roeger
October 8, 2024 12:19 16m 53s main
October 8, 2024 12:19 16m 53s
[trivial] Update contributors.
Code style tests #1445: Commit e820c0d pushed by roeger
October 8, 2024 10:19 6m 48s main
October 8, 2024 10:19 6m 48s
[trivial] Update contributors.
Ubuntu #1600: Commit e820c0d pushed by roeger
October 8, 2024 10:19 21m 6s main
October 8, 2024 10:19 21m 6s
[trivial] Update contributors.
macOS #1600: Commit e820c0d pushed by roeger
October 8, 2024 10:19 14m 30s main
October 8, 2024 10:19 14m 30s
[trivial] Update contributors.
Windows #1597: Commit e820c0d pushed by roeger
October 8, 2024 10:19 15m 54s main
October 8, 2024 10:19 15m 54s
[trivial] Update contributors.
Autodoc #243: Commit e820c0d pushed by roeger
October 8, 2024 10:19 3m 50s main
October 8, 2024 10:19 3m 50s
October 7, 2024 13:00 21m 39s
[trivial] Update documentation regarding safety for tasks with axioms.
Code style tests #1444: Commit 036fffa pushed by salome-eriksson
October 7, 2024 13:00 6m 43s main
October 7, 2024 13:00 6m 43s
October 7, 2024 13:00 16m 2s
October 7, 2024 13:00 3m 34s
October 7, 2024 13:00 16m 10s
[trivial] Add author names to delete relaxation constraint documentat…
Code style tests #1443: Commit 3ff4081 pushed by remochristen
October 7, 2024 12:33 7m 47s main
October 7, 2024 12:33 7m 47s
[trivial] Add author names to delete relaxation constraint documentat…
Windows #1595: Commit 3ff4081 pushed by remochristen
October 7, 2024 12:33 15m 30s main
October 7, 2024 12:33 15m 30s
October 7, 2024 12:33 3m 32s
October 7, 2024 12:33 20m 39s
October 7, 2024 12:33 12m 36s
October 7, 2024 12:14 3m 48s
[issue1151] Improve error message when passing a heuristic to --search.
Code style tests #1442: Commit 45e1e6f pushed by FlorianPommerening
October 7, 2024 12:14 6m 42s main
October 7, 2024 12:14 6m 42s
October 7, 2024 12:14 11m 13s
October 7, 2024 12:14 16m 4s
October 7, 2024 12:14 21m 50s
October 3, 2024 11:22 3m 46s
October 3, 2024 11:22 21m 43s
October 3, 2024 11:22 16m 36s
October 3, 2024 11:22 8m 18s