Skip to content

Actions: potassco/clingo-explaid

Actions

run CI test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create Documentation run CI test #30: Pull request #8 opened by hweichelt
October 15, 2024 08:55 2m 37s feat/create_documentation
feat/create_documentation
October 15, 2024 08:55 2m 37s
Merge pull request #7 from potassco/cleanup run CI test #29: Commit 0dcc453 pushed by hweichelt
October 7, 2024 12:34 1m 57s master
master
October 7, 2024 12:34 1m 57s
Removed code unrelated to API run CI test #28: Pull request #7 opened by hweichelt
October 7, 2024 11:07 1m 43s cleanup
cleanup
October 7, 2024 11:07 1m 43s
Added two simple API examples to README run CI test #27: Commit 53c45a6 pushed by hweichelt
September 18, 2024 14:49 2m 40s master
master
September 18, 2024 14:49 2m 40s
fixed linting and typing run CI test #26: Commit a93a642 pushed by hweichelt
August 13, 2024 14:12 2m 33s master
master
August 13, 2024 14:12 2m 33s
Merge pull request #5 from potassco/core_fix run CI test #25: Commit 4bd0d4c pushed by hweichelt
August 13, 2024 08:44 2m 18s master
master
August 13, 2024 08:44 2m 18s
Added return value to simplify run CI test #24: Pull request #5 opened by susuhahnml
August 9, 2024 01:24 46m 32s core_fix
core_fix
August 9, 2024 01:24 46m 32s
started implementing explain mode run CI test #23: Commit be4eeef pushed by hweichelt
June 27, 2024 18:49 1m 58s master
master
June 27, 2024 18:49 1m 58s
Merge branch 'master' of github.com:krr-up/clingo-explaid run CI test #22: Commit 24019a4 pushed by hweichelt
June 27, 2024 16:55 2m 20s master
master
June 27, 2024 16:55 2m 20s
disabled constants tab for now run CI test #21: Commit 2adbdac pushed by hweichelt
June 21, 2024 08:50 2m 22s master
master
June 21, 2024 08:50 2m 22s
Refactoring + Documenation run CI test #20: Commit 0873cb3 pushed by hweichelt
June 20, 2024 17:18 2m 32s master
master
June 20, 2024 17:18 2m 32s
added MUS mode to textual gui run CI test #19: Commit b309137 pushed by hweichelt
June 11, 2024 21:27 4m 38s master
master
June 11, 2024 21:27 4m 38s
Updated AssumptionTransformer run CI test #18: Commit e720cfa pushed by hweichelt
June 11, 2024 17:24 2m 42s master
master
June 11, 2024 17:24 2m 42s
split get_assumptions into symbols and literals run CI test #17: Commit f161a94 pushed by hweichelt
June 11, 2024 13:24 2m 47s master
master
June 11, 2024 13:24 2m 47s
added back App type run CI test #16: Commit 2ede4df pushed by hweichelt
June 5, 2024 18:54 2m 59s master
master
June 5, 2024 18:54 2m 59s
updated to newest textual version + footer run CI test #15: Commit cb78289 pushed by hweichelt
June 5, 2024 18:52 3m 8s master
master
June 5, 2024 18:52 3m 8s
fixed linting and typing run CI test #14: Commit 49eee4e pushed by hweichelt
June 4, 2024 16:05 2m 52s master
master
June 4, 2024 16:05 2m 52s
finished textual interface for show-decisions run CI test #13: Commit 54475bd pushed by hweichelt
June 4, 2024 13:48 2m 37s master
master
June 4, 2024 13:48 2m 37s
work in progress: solver decision proagator for gui run CI test #12: Commit a06ce44 pushed by hweichelt
May 25, 2024 17:46 2m 54s master
master
May 25, 2024 17:46 2m 54s
finished first prototype of textual interface run CI test #11: Commit c129cc1 pushed by hweichelt
May 16, 2024 21:44 3m 2s master
master
May 16, 2024 21:44 3m 2s
refactoring textual gui for ci run CI test #10: Commit c1f9af2 pushed by hweichelt
May 15, 2024 09:19 2m 50s master
master
May 15, 2024 09:19 2m 50s
renamed MUC->MUS CoreComputer run CI test #9: Commit e119949 pushed by hweichelt
May 9, 2024 15:37 3m 4s master
master
May 9, 2024 15:37 3m 4s
added textual GUI first test run CI test #8: Commit 1b4b6e3 pushed by hweichelt
May 9, 2024 15:28 2m 50s master
master
May 9, 2024 15:28 2m 50s
updated pyproject information run CI test #7: Commit 0229f44 pushed by hweichelt
May 3, 2024 12:54 1m 23s master
master
May 3, 2024 12:54 1m 23s
fixed repository url for pypi (upload.pypi.org) run CI test #6: Commit 5ed1010 pushed by hweichelt
April 30, 2024 15:56 37s master
master
April 30, 2024 15:56 37s