Skip to content

Actions: potassco/fclingo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixed bug Run CI tests #75: Commit 84b949a pushed by wanko
July 22, 2024 05:35 51s master
master
July 22, 2024 05:35 51s
fixed atoms added statistics Run CI tests #74: Commit 6f4d7ef pushed by wanko
July 11, 2024 10:46 36s master
master
July 11, 2024 10:46 36s
fixed slowdown due to constraint retrieval Run CI tests #73: Commit 264321c pushed by wanko
July 11, 2024 10:12 37s master
master
July 11, 2024 10:12 37s
show vars with strings as names Run CI tests #72: Commit 1dd9d2a pushed by wanko
June 4, 2024 10:36 58s wanko/document
wanko/document
June 4, 2024 10:36 58s
Merge pull request #23 from potassco/wanko/statistics Run CI tests #71: Commit cf40dde pushed by wanko
May 16, 2024 10:21 48s master
master
May 16, 2024 10:21 48s
Wanko/statistics Run CI tests #70: Pull request #23 synchronize by wanko
May 16, 2024 10:21 37s wanko/statistics
wanko/statistics
May 16, 2024 10:21 37s
fromat and fixed tests Run CI tests #69: Commit be68531 pushed by wanko
May 16, 2024 10:21 47s wanko/statistics
wanko/statistics
May 16, 2024 10:21 47s
Wanko/statistics Run CI tests #68: Pull request #23 opened by wanko
May 16, 2024 10:15 47s wanko/statistics
wanko/statistics
May 16, 2024 10:15 47s
add statistiscs Run CI tests #67: Commit ba9bf4b pushed by wanko
May 16, 2024 10:15 37s wanko/statistics
wanko/statistics
May 16, 2024 10:15 37s
add statistics Run CI tests #66: Commit 20f2249 pushed by wanko
May 14, 2024 11:01 1m 7s wanko/statistics
wanko/statistics
May 14, 2024 11:01 1m 7s
Update README.md Run CI tests #65: Commit abed038 pushed by wanko
November 10, 2023 18:45 1m 7s master
master
November 10, 2023 18:45 1m 7s
Update README.md Run CI tests #64: Commit 68d65ce pushed by wanko
November 10, 2023 18:44 1m 1s master
master
November 10, 2023 18:44 1m 1s
Update README.md Run CI tests #63: Commit 9a8e949 pushed by wanko
November 10, 2023 18:43 48s master
master
November 10, 2023 18:43 48s
Merge pull request #22 from potassco/clc_sum Run CI tests #62: Commit 9568b25 pushed by wanko
November 10, 2023 14:47 39s master
master
November 10, 2023 14:47 39s
Pimp readme, change language Run CI tests #61: Pull request #22 opened by wanko
November 10, 2023 14:46 56s clc_sum
clc_sum
November 10, 2023 14:46 56s
fixed typo Run CI tests #60: Commit 3375a04 pushed by wanko
November 10, 2023 14:18 57s clc_sum
clc_sum
November 10, 2023 14:18 57s
swapped equality direction Run CI tests #59: Commit 55d49e4 pushed by wanko
November 10, 2023 13:58 45s clc_sum
clc_sum
November 10, 2023 13:58 45s
javiers comments Run CI tests #58: Commit 0ae1471 pushed by wanko
November 10, 2023 08:37 46s clc_sum
clc_sum
November 10, 2023 08:37 46s
moved slides Run CI tests #57: Commit 30f3e92 pushed by wanko
November 9, 2023 11:58 41s clc_sum
clc_sum
November 9, 2023 11:58 41s
first draft of example driven readme Run CI tests #56: Commit 71cd337 pushed by wanko
November 7, 2023 12:53 1m 17s clc_sum
clc_sum
November 7, 2023 12:53 1m 17s
docu until max/min Run CI tests #55: Commit 578be0c pushed by wanko
November 2, 2023 13:01 56s clc_sum
clc_sum
November 2, 2023 13:01 56s
start documenting Run CI tests #54: Commit 0350b8c pushed by wanko
November 1, 2023 10:50 59s clc_sum
clc_sum
November 1, 2023 10:50 59s
cleaned up and added bunch of examples Run CI tests #53: Commit a42695e pushed by wanko
October 31, 2023 07:21 1m 1s clc_sum
clc_sum
October 31, 2023 07:21 1m 1s
some more tests and fixes Run CI tests #52: Commit e1524c9 pushed by wanko
October 30, 2023 08:23 54s clc_sum
clc_sum
October 30, 2023 08:23 54s
working version Run CI tests #51: Commit 9ad2e05 pushed by wanko
October 27, 2023 10:16 57s clc_sum
clc_sum
October 27, 2023 10:16 57s