Skip to content

Actions: potassco/libpotassco

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
10 workflow runs
10 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Adjust show handling in text output. CI tests #14: Commit 70aae17 pushed by BenKaufmann
June 3, 2024 11:28 1m 46s dev
dev
June 3, 2024 11:28 1m 46s
Adjust show handling in text output. CI tests #13: Commit 72dcb55 pushed by BenKaufmann
June 3, 2024 07:07 1m 52s dev
dev
June 3, 2024 07:07 1m 52s
Adjust show handling in text output. CI tests #12: Commit 10ed000 pushed by BenKaufmann
May 29, 2024 14:41 1m 28s dev
dev
May 29, 2024 14:41 1m 28s
Fix text output of minimize statements and aggregates. CI tests #11: Commit 33f38b2 pushed by BenKaufmann
May 28, 2024 16:32 1m 5s dev
dev
May 28, 2024 16:32 1m 5s
Fix handling of classical negation and empty choices. CI tests #10: Commit ba086c4 pushed by BenKaufmann
May 21, 2024 13:52 32m 7s dev
dev
May 21, 2024 13:52 32m 7s
Fix MemoryRegion::grow(). CI tests #9: Commit 7f4aef1 pushed by BenKaufmann
April 22, 2024 13:07 59s dev
dev
April 22, 2024 13:07 59s
Adjust exception mapping in Potassco::fail(). CI tests #8: Commit 414bc1a pushed by BenKaufmann
March 25, 2024 12:48 1m 2s dev
dev
March 25, 2024 12:48 1m 2s
CMake: Simplify test setup. CI tests #7: Commit 4c9e27b pushed by BenKaufmann
March 18, 2024 19:22 1m 49s dev
dev
March 18, 2024 19:22 1m 49s
Fix POTASSCO_HAS_STATIC_ASSERT detection. CI tests #6: Commit a8048a1 pushed by BenKaufmann
March 18, 2024 11:10 1m 41s dev
dev
March 18, 2024 11:10 1m 41s
libpotassco: add PPC case to string_convert.cpp (#15) CI tests #5: Commit 69b677f pushed by BenKaufmann
February 7, 2024 16:30 2m 12s master
master
February 7, 2024 16:30 2m 12s