Skip to content

Actions: spechub/Hets

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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
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… CI #281: Commit 5d7c575 pushed by tillmo
September 14, 2023 06:30 45m 8s master
master
September 14, 2023 06:30 45m 8s