Skip to content

Actions: krr-up/ucorexplain

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleaned readme CI Test for ucorexplain #49: Commit 574c4fe pushed by susuhahnml
March 1, 2024 22:59 1m 41s sh/cleanup
sh/cleanup
March 1, 2024 22:59 1m 41s
CI Test for ucorexplain CI Test for ucorexplain #48: by susuhahnml
March 1, 2024 22:54 2m 0s sh/cleanup
sh/cleanup
March 1, 2024 22:54 2m 0s
Clingraph svg CI Test for ucorexplain #47: Commit 1d86438 pushed by susuhahnml
February 23, 2024 00:45 2m 15s sh/cleanup
sh/cleanup
February 23, 2024 00:45 2m 15s
Clingraph CI Test for ucorexplain #46: Commit 81c37ba pushed by susuhahnml
February 21, 2024 23:28 1m 43s sh/cleanup
sh/cleanup
February 21, 2024 23:28 1m 43s
align with dumbo-asp CI Test for ucorexplain #45: Commit 5f05003 pushed by alviano
February 18, 2024 07:28 2m 26s zero-simplification-pipeline
zero-simplification-pipeline
February 18, 2024 07:28 2m 26s
chop __mus__ from bodies CI Test for ucorexplain #44: Commit 70fae67 pushed by alviano
February 15, 2024 07:35 2m 39s zero-simplification-pipeline
zero-simplification-pipeline
February 15, 2024 07:35 2m 39s
minor clean up CI Test for ucorexplain #43: Commit 0f8cc35 pushed by alviano
February 14, 2024 20:31 2m 28s zero-simplification-pipeline
zero-simplification-pipeline
February 14, 2024 20:31 2m 28s
Revise the full pipeline. CI Test for ucorexplain #42: Commit 736a2cb pushed by alviano
February 13, 2024 07:17 2m 0s zero-simplification-pipeline
zero-simplification-pipeline
February 13, 2024 07:17 2m 0s
Update dumbo-asp. CI Test for ucorexplain #41: Commit c7a5f5b pushed by alviano
September 30, 2023 10:58 6m 24s zero-simplification-pipeline
zero-simplification-pipeline
September 30, 2023 10:58 6m 24s
Fix check_query in tests (it was implementing subset instead of equals). CI Test for ucorexplain #40: Commit 4118f37 pushed by alviano
September 29, 2023 17:20 5m 7s zero-simplification-pipeline
zero-simplification-pipeline
September 29, 2023 17:20 5m 7s
In main pipeline CI Test for ucorexplain #39: Commit 410a230 pushed by susuhahnml
September 27, 2023 21:27 6m 32s zero-simplification-pipeline
zero-simplification-pipeline
September 27, 2023 21:27 6m 32s
Sudoku zero refactored CI Test for ucorexplain #38: Commit 48fae14 pushed by susuhahnml
September 27, 2023 18:43 4m 12s zero-simplification-pipeline
zero-simplification-pipeline
September 27, 2023 18:43 4m 12s
add selectors to the serialized program CI Test for ucorexplain #37: Commit 04d4e78 pushed by alviano
September 18, 2023 21:15 4m 3s zero-simplification-pipeline
zero-simplification-pipeline
September 18, 2023 21:15 4m 3s
add selectors to the serialized program CI Test for ucorexplain #36: Commit 8ce9340 pushed by alviano
September 18, 2023 21:12 4m 18s zero-simplification-pipeline
zero-simplification-pipeline
September 18, 2023 21:12 4m 18s
Reified but no model CI Test for ucorexplain #35: Commit 86f46b1 pushed by susuhahnml
September 18, 2023 16:10 5m 2s zero-simplification-pipeline
zero-simplification-pipeline
September 18, 2023 16:10 5m 2s
remove double negation CI Test for ucorexplain #34: Commit bacd71c pushed by alviano
September 15, 2023 17:50 4m 3s zero-simplification-pipeline
zero-simplification-pipeline
September 15, 2023 17:50 4m 3s
Zero simplification into pipeline CI Test for ucorexplain #33: Commit ae89fa3 pushed by susuhahnml
September 15, 2023 17:01 4m 0s zero-simplification-pipeline
zero-simplification-pipeline
September 15, 2023 17:01 4m 0s
skip test_foo CI Test for ucorexplain #32: Commit 7a7dd7e pushed by alviano
September 14, 2023 19:05 4m 1s zero-simplification
zero-simplification
September 14, 2023 19:05 4m 1s
build graph by expanding variables and using a meta-encoding. CI Test for ucorexplain #31: Commit 9f644fd pushed by alviano
September 14, 2023 18:37 7m 4s zero-simplification
zero-simplification
September 14, 2023 18:37 7m 4s
Formetted CI Test for ucorexplain #30: Commit a3e2392 pushed by susuhahnml
September 1, 2023 18:12 6m 7s sh/pipe
sh/pipe
September 1, 2023 18:12 6m 7s
New pipeline, tests still need to be fixed CI Test for ucorexplain #29: Commit 5abb15b pushed by susuhahnml
August 31, 2023 21:02 6m 32s sh/pipe
sh/pipe
August 31, 2023 21:02 6m 32s
Refactorized and created pipeline CI Test for ucorexplain #28: Commit 83edd77 pushed by susuhahnml
August 23, 2023 22:17 4m 40s sh/pipe
sh/pipe
August 23, 2023 22:17 4m 40s
put todo items in the respective part CI Test for ucorexplain #27: Commit b6c2b28 pushed by owizo
July 28, 2023 12:37 4m 7s master
master
July 28, 2023 12:37 4m 7s
add some todo items regarding the meta encoding CI Test for ucorexplain #26: Commit 091fa91 pushed by owizo
July 28, 2023 12:34 3m 29s master
master
July 28, 2023 12:34 3m 29s