Skip to content

Actions: spechub/Hets

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in for actions/download-artifact - Update #878816626 Dependabot Updates #1: by dependabot bot
September 3, 2024 21:02 40s master
master
September 3, 2024 21:02 40s
2164 cancel button python gui Docker #12: Pull request #2165 opened by JoKurth
August 14, 2024 19:23 1m 28s 2164_cancel_button_python_gui
2164_cancel_button_python_gui
August 14, 2024 19:23 1m 28s
2164 cancel button python gui CI #289: Pull request #2165 opened by JoKurth
August 14, 2024 19:23 43m 7s 2164_cancel_button_python_gui
2164_cancel_button_python_gui
August 14, 2024 19:23 43m 7s
2157 add more sublogics for propositional CI #288: Pull request #2160 synchronize by JoKurth
July 16, 2024 10:17 24m 49s 2157_add_more_sublogics_for_propositional
2157_add_more_sublogics_for_propositional
July 16, 2024 10:17 24m 49s
2157 add more sublogics for propositional CI #287: Pull request #2160 synchronize by JoKurth
July 16, 2024 09:11 25m 56s 2157_add_more_sublogics_for_propositional
2157_add_more_sublogics_for_propositional
July 16, 2024 09:11 25m 56s
2109 python gui CI #286: Pull request #2162 synchronize by b-gehrke
July 11, 2024 13:32 44m 20s 2109_python_gui
2109_python_gui
July 11, 2024 13:32 44m 20s
2109 python gui Docker #11: Pull request #2162 synchronize by b-gehrke
July 11, 2024 13:32 2m 36s 2109_python_gui
2109_python_gui
July 11, 2024 13:32 2m 36s
2109 python gui CI #285: Pull request #2162 opened by b-gehrke
July 11, 2024 13:24 8m 48s 2109_python_gui
2109_python_gui
July 11, 2024 13:24 8m 48s
2109 python gui Docker #10: Pull request #2162 opened by b-gehrke
July 11, 2024 13:24 2m 10s 2109_python_gui
2109_python_gui
July 11, 2024 13:24 2m 10s
2157 add more sublogics for propositional CI #284: Pull request #2160 synchronize by JoKurth
July 10, 2024 19:44 26m 49s 2157_add_more_sublogics_for_propositional
2157_add_more_sublogics_for_propositional
July 10, 2024 19:44 26m 49s
2157 add more sublogics for propositional CI #283: Pull request #2160 synchronize by JoKurth
July 10, 2024 10:21 24m 44s 2157_add_more_sublogics_for_propositional
2157_add_more_sublogics_for_propositional
July 10, 2024 10:21 24m 44s
2157 add more sublogics for propositional CI #282: Pull request #2160 opened by JoKurth
July 8, 2024 08:33 41m 36s 2157_add_more_sublogics_for_propositional
2157_add_more_sublogics_for_propositional
July 8, 2024 08:33 41m 36s
Merge pull request #2124 from spechub/2119_regularly_update_Hets_dock… Docker #9: Commit 5d7c575 pushed by tillmo
September 14, 2023 06:30 2m 37s master
master
September 14, 2023 06:30 2m 37s
Merge pull request #2124 from spechub/2119_regularly_update_Hets_dock… CI #281: Commit 5d7c575 pushed by tillmo
September 14, 2023 06:30 45m 8s master
master
September 14, 2023 06:30 45m 8s