Skip to content

Actions: aibasel/downward

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
404 workflow runs
404 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[issue1082] Use Options objects only in Features Windows #1444: Pull request #218 synchronize by SimonDold
March 13, 2024 16:59 14m 26s SimonDold:issue1082
SimonDold:issue1082
March 13, 2024 16:59 14m 26s
[issue1082] Use Options objects only in Features Windows #1443: Pull request #218 synchronize by SimonDold
March 13, 2024 14:57 14m 10s SimonDold:issue1082
SimonDold:issue1082
March 13, 2024 14:57 14m 10s
[issue1082] Use Options objects only in Features Windows #1442: Pull request #218 synchronize by SimonDold
March 13, 2024 14:41 14m 6s SimonDold:issue1082
SimonDold:issue1082
March 13, 2024 14:41 14m 6s
[issue1082] Use Options objects only in Features Windows #1441: Pull request #218 synchronize by SimonDold
March 12, 2024 16:39 14m 14s SimonDold:issue1082
SimonDold:issue1082
March 12, 2024 16:39 14m 14s
[issue1082] Use Options objects only in Features Windows #1440: Pull request #218 synchronize by SimonDold
March 12, 2024 16:20 14m 6s SimonDold:issue1082
SimonDold:issue1082
March 12, 2024 16:20 14m 6s
[issue1082] Use Options objects only in Features Windows #1439: Pull request #218 synchronize by SimonDold
March 6, 2024 11:28 13m 45s SimonDold:issue1082
SimonDold:issue1082
March 6, 2024 11:28 13m 45s
[issue1082] Use Options objects only in Features Windows #1438: Pull request #218 synchronize by SimonDold
March 4, 2024 16:37 13m 28s SimonDold:issue1082
SimonDold:issue1082
March 4, 2024 16:37 13m 28s
[issue1082] Use Options objects only in Features Windows #1437: Pull request #218 synchronize by tanjaschindler
February 16, 2024 15:55 13m 54s SimonDold:issue1082
SimonDold:issue1082
February 16, 2024 15:55 13m 54s
[issue1082] Use Options objects only in Features Windows #1436: Pull request #218 synchronize by tanjaschindler
February 16, 2024 14:34 13m 14s SimonDold:issue1082
SimonDold:issue1082
February 16, 2024 14:34 13m 14s
[issue1082] Use Options objects only in Features Windows #1435: Pull request #218 synchronize by SimonDold
February 16, 2024 09:21 13m 35s SimonDold:issue1082
SimonDold:issue1082
February 16, 2024 09:21 13m 35s
[issue1082] Use Options objects only in Features Windows #1434: Pull request #218 synchronize by SimonDold
February 15, 2024 12:15 13m 48s SimonDold:issue1082
SimonDold:issue1082
February 15, 2024 12:15 13m 48s
[issue1082] Use Options objects only in Features Windows #1433: Pull request #218 synchronize by SimonDold
February 15, 2024 11:38 13m 22s SimonDold:issue1082
SimonDold:issue1082
February 15, 2024 11:38 13m 22s
[issue1082] Use Options objects only in Features Windows #1432: Pull request #218 synchronize by tanjaschindler
February 13, 2024 09:01 13m 40s SimonDold:issue1082
SimonDold:issue1082
February 13, 2024 09:01 13m 40s
[issue1082] Use Options objects only in Features Windows #1431: Pull request #218 synchronize by SimonDold
February 9, 2024 16:59 14m 22s SimonDold:issue1082
SimonDold:issue1082
February 9, 2024 16:59 14m 22s
Issue1134 Windows #1430: Pull request #213 synchronize by remochristen
February 9, 2024 16:53 14m 19s remochristen:issue1134
remochristen:issue1134
February 9, 2024 16:53 14m 19s
[issue1082] Use Options objects only in Features Windows #1429: Pull request #218 synchronize by SimonDold
February 9, 2024 16:22 14m 27s SimonDold:issue1082
SimonDold:issue1082
February 9, 2024 16:22 14m 27s
[issue1127] support negative literals in goals Windows #1428: Commit 61646d7 pushed by roeger
February 9, 2024 13:09 14m 56s main
main
February 9, 2024 13:09 14m 56s
[issue1082] Use Options objects only in Features Windows #1427: Pull request #218 synchronize by SimonDold
February 9, 2024 12:39 6m 41s SimonDold:issue1082
SimonDold:issue1082
February 9, 2024 12:39 6m 41s
[issue1082] Use Options objects only in Features Windows #1426: Pull request #218 synchronize by SimonDold
February 9, 2024 12:37 5m 58s SimonDold:issue1082
SimonDold:issue1082
February 9, 2024 12:37 5m 58s
[issue1082] Use Options objects only in Features Windows #1425: Pull request #218 synchronize by FlorianPommerening
February 9, 2024 12:15 6m 32s SimonDold:issue1082
SimonDold:issue1082
February 9, 2024 12:15 6m 32s
[issue1082] Use Options objects only in Features Windows #1424: Pull request #218 synchronize by SimonDold
February 9, 2024 11:27 6m 8s SimonDold:issue1082
SimonDold:issue1082
February 9, 2024 11:27 6m 8s
Issue454 - move computation of negated axioms to search component Windows #1423: Pull request #220 synchronize by salome-eriksson
February 9, 2024 10:35 24m 41s salome-eriksson:issue454
salome-eriksson:issue454
February 9, 2024 10:35 24m 41s
[issue1082] Use Options objects only in Features Windows #1422: Pull request #218 synchronize by FlorianPommerening
February 9, 2024 10:04 13m 41s SimonDold:issue1082
SimonDold:issue1082
February 9, 2024 10:04 13m 41s
Issue454 - move computation of negated axioms to search component Windows #1421: Pull request #220 synchronize by salome-eriksson
February 9, 2024 09:57 14m 14s salome-eriksson:issue454
salome-eriksson:issue454
February 9, 2024 09:57 14m 14s
Issue454 - move computation of negated axioms to search component Windows #1420: Pull request #220 synchronize by salome-eriksson
February 9, 2024 08:49 13m 56s salome-eriksson:issue454
salome-eriksson:issue454
February 9, 2024 08:49 13m 56s