Skip to content

Actions: aibasel/downward

Actions

macOS

Actions

Loading...
Loading

Show workflow options

Create status badge

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