Skip to content

Actions: aibasel/downward

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
584 workflow runs
584 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[trivial] Update BUILD.md to simplify installation instructions of So… Windows #1593: Commit 5d1bd6a pushed by FlorianPommerening
October 3, 2024 11:22 16m 36s main
main
October 3, 2024 11:22 16m 36s
Update axiom documentation Windows #1592: Pull request #233 synchronize by salome-eriksson
October 2, 2024 15:55 15m 0s salome-eriksson:update-axiom-documentation
salome-eriksson:update-axiom-documentation
October 2, 2024 15:55 15m 0s
Update axiom documentation Windows #1591: Pull request #233 synchronize by salome-eriksson
October 1, 2024 15:37 14m 18s salome-eriksson:update-axiom-documentation
salome-eriksson:update-axiom-documentation
October 1, 2024 15:37 14m 18s
[issue1151] better error message when passing a heuristic to --search Windows #1590: Pull request #234 synchronize by FlorianPommerening
September 27, 2024 14:09 14m 20s FlorianPommerening:issue1151
FlorianPommerening:issue1151
September 27, 2024 14:09 14m 20s
[issue1151] better error message when passing a heuristic to --search Windows #1589: Pull request #234 opened by FlorianPommerening
September 27, 2024 13:45 1m 40s FlorianPommerening:issue1151
FlorianPommerening:issue1151
September 27, 2024 13:45 1m 40s
Update axiom documentation Windows #1588: Pull request #233 opened by salome-eriksson
September 17, 2024 10:35 14m 39s salome-eriksson:update-axiom-documentation
salome-eriksson:update-axiom-documentation
September 17, 2024 10:35 14m 39s
[trivial] Update pdb synopsis. (#232) Windows #1587: Commit f39b35b pushed by SimonDold
September 17, 2024 07:10 16m 52s main
main
September 17, 2024 07:10 16m 52s
[trivial] Update pdb synopsis. Windows #1586: Pull request #232 synchronize by SimonDold
September 16, 2024 17:16 14m 5s SimonDold:update-pdb-synopsis
SimonDold:update-pdb-synopsis
September 16, 2024 17:16 14m 5s
[trivial] Update pdb synopsis. Windows #1585: Pull request #232 synchronize by SimonDold
September 16, 2024 17:13 13m 57s SimonDold:update-pdb-synopsis
SimonDold:update-pdb-synopsis
September 16, 2024 17:13 13m 57s
[trivial] Update pdb synopsis. Windows #1584: Pull request #232 opened by SimonDold
September 16, 2024 10:24 14m 29s SimonDold:update-pdb-synopsis
SimonDold:update-pdb-synopsis
September 16, 2024 10:24 14m 29s
Issue730 Windows #1583: Pull request #226 synchronize by speckdavid
September 11, 2024 08:56 14m 13s speckdavid:issue730
speckdavid:issue730
September 11, 2024 08:56 14m 13s
Issue730 Windows #1582: Pull request #226 synchronize by FlorianPommerening
September 6, 2024 13:54 14m 54s speckdavid:issue730
speckdavid:issue730
September 6, 2024 13:54 14m 54s
[issue1150] Allow prevail conditions with effects in potential optimi… Windows #1581: Commit eecab21 pushed by FlorianPommerening
September 5, 2024 13:23 16m 11s main
main
September 5, 2024 13:23 16m 11s
[trivial] Bump version of upload-artifact and download-artifact from … Windows #1580: Commit f2f132d pushed by FlorianPommerening
September 5, 2024 11:22 16m 27s main
main
September 5, 2024 11:22 16m 27s
Bump actions/download-artifact from 3 to 4.1.7 in /.github/workflows Windows #1579: Pull request #231 synchronize by FlorianPommerening
September 5, 2024 10:58 16m 8s dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
September 5, 2024 10:58 16m 8s
Bump actions/download-artifact from 3 to 4.1.7 in /.github/workflows Windows #1578: Pull request #231 opened by dependabot bot
September 3, 2024 22:52 14m 19s dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
September 3, 2024 22:52 14m 19s
Issue1150: prevail conditions in potential optimizer Windows #1577: Pull request #230 opened by FlorianPommerening
August 29, 2024 13:39 14m 3s FlorianPommerening:issue1150
FlorianPommerening:issue1150
August 29, 2024 13:39 14m 3s
[trivial] Remove src/translate/{tests,regression-tests}. Windows #1576: Commit 8989cfb pushed by maltehelmert
August 19, 2024 17:36 16m 46s main
main
August 19, 2024 17:36 16m 46s
Issue730 Windows #1575: Pull request #226 synchronize by FlorianPommerening
July 31, 2024 15:26 14m 36s speckdavid:issue730
speckdavid:issue730
July 31, 2024 15:26 14m 36s
Issue730 Windows #1574: Pull request #226 synchronize by FlorianPommerening
July 31, 2024 15:08 14m 5s speckdavid:issue730
speckdavid:issue730
July 31, 2024 15:08 14m 5s
Issue730 Windows #1573: Pull request #226 synchronize by FlorianPommerening
July 29, 2024 15:52 14m 41s speckdavid:issue730
speckdavid:issue730
July 29, 2024 15:52 14m 41s
Issue730 Windows #1572: Pull request #226 synchronize by FlorianPommerening
July 29, 2024 14:00 14m 29s speckdavid:issue730
speckdavid:issue730
July 29, 2024 14:00 14m 29s
Issue730 Windows #1571: Pull request #226 synchronize by FlorianPommerening
July 29, 2024 11:52 13m 35s speckdavid:issue730
speckdavid:issue730
July 29, 2024 11:52 13m 35s
Issue730 Windows #1570: Pull request #226 synchronize by FlorianPommerening
July 26, 2024 15:55 14m 43s speckdavid:issue730
speckdavid:issue730
July 26, 2024 15:55 14m 43s
Issue730 Windows #1569: Pull request #226 synchronize by FlorianPommerening
July 26, 2024 15:46 14m 8s speckdavid:issue730
speckdavid:issue730
July 26, 2024 15:46 14m 8s