Skip to content

Actions: UnitTestBot/klogic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extended README (#21) Build and run simple tests for Kotlin implementation of miniKanren #84: Commit c086377 pushed by Damtev
October 10, 2023 12:42 5m 32s main
main
October 10, 2023 12:42 5m 32s
Extended README Build and run simple tests for Kotlin implementation of miniKanren #83: Pull request #21 synchronize by Damtev
October 10, 2023 09:16 4m 44s damtev/readme
damtev/readme
October 10, 2023 09:16 4m 44s
Extended README Build and run simple tests for Kotlin implementation of miniKanren #82: Pull request #21 opened by Damtev
October 9, 2023 10:53 4m 54s damtev/readme
damtev/readme
October 9, 2023 10:53 4m 54s
Fixed missing violated constraints containing wildcards (#20) Build and run simple tests for Kotlin implementation of miniKanren #81: Commit cb162cf pushed by Damtev
October 9, 2023 10:06 4m 15s main
main
October 9, 2023 10:06 4m 15s
Fixed missing violated constraints containing wildcards Build and run simple tests for Kotlin implementation of miniKanren #80: Pull request #20 opened by Damtev
October 9, 2023 05:40 6m 0s damtev/missing_violated_wildcards_constraint
damtev/missing_violated_wildcards_constraint
October 9, 2023 05:40 6m 0s
0.2.1 Release #8: Release v0.2.1 published by Damtev
October 4, 2023 10:05 2m 16s
October 4, 2023 10:05 2m 16s
Fixed creation of logic bools (#19) Build and run simple tests for Kotlin implementation of miniKanren #79: Commit 6588257 pushed by Damtev
October 4, 2023 09:07 5m 8s main
main
October 4, 2023 09:07 5m 8s
Fixed creation of logic bools Build and run simple tests for Kotlin implementation of miniKanren #78: Pull request #19 opened by Damtev
October 4, 2023 09:01 5m 51s damtev/logic_bool_creation_fix
damtev/logic_bool_creation_fix
October 4, 2023 09:01 5m 51s
Implemented wildcards in unifications and disequality constraints (#17) Build and run simple tests for Kotlin implementation of miniKanren #77: Commit e17613a pushed by Damtev
September 29, 2023 11:06 6m 32s main
main
September 29, 2023 11:06 6m 32s
Implemented wildcards in unifications and disequality constraints Build and run simple tests for Kotlin implementation of miniKanren #76: Pull request #17 synchronize by Damtev
September 29, 2023 11:02 4m 24s damtev/wildcards
damtev/wildcards
September 29, 2023 11:02 4m 24s
Implemented wildcards in unifications and disequality constraints Build and run simple tests for Kotlin implementation of miniKanren #75: Pull request #17 synchronize by Damtev
September 28, 2023 16:19 4m 18s damtev/wildcards
damtev/wildcards
September 28, 2023 16:19 4m 18s
Implemented wildcards in unifications and disequality constraints Build and run simple tests for Kotlin implementation of miniKanren #74: Pull request #17 synchronize by Damtev
September 27, 2023 11:52 5m 4s damtev/wildcards
damtev/wildcards
September 27, 2023 11:52 5m 4s
Implemented wildcards in unifications and disequality constraints Build and run simple tests for Kotlin implementation of miniKanren #73: Pull request #17 synchronize by Damtev
September 27, 2023 06:56 6m 27s damtev/wildcards
damtev/wildcards
September 27, 2023 06:56 6m 27s