Skip to content

Actions: potassco/mkdoclingo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed pre-commit run CI test #34: Commit 1eec0a2 pushed by susuhahnml
December 20, 2024 18:43 1m 50s master
master
December 20, 2024 18:43 1m 50s
Merge pull request #30 from potassco/toc run CI test #33: Commit 34b1616 pushed by susuhahnml
December 20, 2024 18:37 1m 44s master
master
December 20, 2024 18:37 1m 44s
Toc run CI test #32: Pull request #30 synchronize by susuhahnml
December 20, 2024 18:37 1m 41s toc
toc
December 20, 2024 18:37 1m 41s
Ideas predicate table run CI test #31: Pull request #32 opened by susuhahnml
December 20, 2024 18:37 1m 22s predicate-table
predicate-table
December 20, 2024 18:37 1m 22s
Toc run CI test #30: Pull request #30 opened by susuhahnml
December 18, 2024 22:22 1m 32s toc
toc
December 18, 2024 22:22 1m 32s
Merge pull request #26 from potassco/19-turn-dependency-graph-into-da… run CI test #29: Commit 81d4302 pushed by VictosVertex
December 16, 2024 23:05 1m 20s master
master
December 16, 2024 23:05 1m 20s
Turn dependency graph into a dataclass. run CI test #28: Pull request #26 opened by VictosVertex
December 16, 2024 22:58 1m 32s 19-turn-dependency-graph-into-dataclass
19-turn-dependency-graph-into-dataclass
December 16, 2024 22:58 1m 32s
Merge pull request #25 from potassco/24-fix-lib-path run CI test #27: Commit 380a2d5 pushed by VictosVertex
December 16, 2024 22:53 1m 20s master
master
December 16, 2024 22:53 1m 20s
Fix lib path. run CI test #26: Pull request #25 opened by VictosVertex
December 16, 2024 22:49 1m 50s 24-fix-lib-path
24-fix-lib-path
December 16, 2024 22:49 1m 50s
Merge pull request #23 from potassco/21-provide-linuxmacos-support run CI test #25: Commit fbcabc1 pushed by VictosVertex
December 16, 2024 22:37 1m 51s master
master
December 16, 2024 22:37 1m 51s
21 provide linuxmacos support run CI test #24: Pull request #23 opened by VictosVertex
December 16, 2024 22:37 1m 28s 21-provide-linuxmacos-support
21-provide-linuxmacos-support
December 16, 2024 22:37 1m 28s
Build and Upload Prebuilt Binaries Build and Upload Prebuilt Binaries #4: Manually run by VictosVertex
December 16, 2024 22:15 58s master
master
December 16, 2024 22:15 58s
Fix workflow annotations. run CI test #23: Commit 1b920b0 pushed by VictosVertex
December 16, 2024 22:10 1m 46s master
master
December 16, 2024 22:10 1m 46s
Next try. run CI test #22: Commit 2bbb6a3 pushed by VictosVertex
December 16, 2024 22:06 1m 41s master
master
December 16, 2024 22:06 1m 41s
Try to fix workflow for windows. run CI test #21: Commit c612794 pushed by VictosVertex
December 16, 2024 21:53 1m 32s master
master
December 16, 2024 21:53 1m 32s
Merge pull request #22 from potassco/binary-workflow-test run CI test #20: Commit 47dd380 pushed by VictosVertex
December 16, 2024 21:40 1m 38s master
master
December 16, 2024 21:40 1m 38s
Add build-binaries workflow. run CI test #19: Pull request #22 opened by VictosVertex
December 16, 2024 21:40 1m 34s binary-workflow-test
binary-workflow-test
December 16, 2024 21:40 1m 34s
Merge pull request #20 from potassco/template run CI test #18: Commit 259b68e pushed by VictosVertex
December 16, 2024 18:25 2m 43s master
master
December 16, 2024 18:25 2m 43s
Template run CI test #17: Pull request #20 synchronize by susuhahnml
December 16, 2024 17:51 1m 34s template
template
December 16, 2024 17:51 1m 34s
Template run CI test #16: Pull request #20 opened by susuhahnml
December 16, 2024 17:49 1m 46s template
template
December 16, 2024 17:49 1m 46s
Merge pull request #18 from potassco/17-make-features-depend-on-config run CI test #15: Commit 2e3e557 pushed by VictosVertex
December 15, 2024 21:22 1m 20s master
master
December 15, 2024 21:22 1m 20s
Make features depend on config. run CI test #14: Pull request #18 opened by VictosVertex
December 15, 2024 21:19 1m 43s 17-make-features-depend-on-config
17-make-features-depend-on-config
December 15, 2024 21:19 1m 43s
Merge pull request #15 from potassco/14-add-a-glossary-for-predicates run CI test #13: Commit 77ebe4d pushed by VictosVertex
December 15, 2024 21:02 1m 43s master
master
December 15, 2024 21:02 1m 43s
14 add a glossary for predicates run CI test #12: Pull request #15 opened by VictosVertex
December 15, 2024 20:56 2m 28s 14-add-a-glossary-for-predicates
14-add-a-glossary-for-predicates
December 15, 2024 20:56 2m 28s
Merge pull request #13 from potassco/12-add-predicate-documentation run CI test #11: Commit e41b162 pushed by VictosVertex
December 15, 2024 19:59 1m 43s master
master
December 15, 2024 19:59 1m 43s