Skip to content

Actions: netkeep80/anum_docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
update CI #78: Commit 32b595b pushed by netkeep80
30s main
main
30s
Merge pull request #47 from konard/issue-42-2438160c2b8f CI #77: Commit c1faf60 pushed by netkeep80
28s main
main
28s
Анализ природы скобок в МТС CI #76: Pull request #47 synchronize by konard
10s konard:issue-42-2438160c2b8f
konard:issue-42-2438160c2b8f
10s
Анализ природы скобок в МТС CI #75: Pull request #47 synchronize by konard
11s konard:issue-42-2438160c2b8f
konard:issue-42-2438160c2b8f
11s
Анализ природы скобок в МТС CI #74: Pull request #47 synchronize by konard
10s konard:issue-42-2438160c2b8f
konard:issue-42-2438160c2b8f
10s
Анализ природы скобок в МТС CI #73: Pull request #47 synchronize by konard
10s konard:issue-42-2438160c2b8f
konard:issue-42-2438160c2b8f
10s
Анализ природы скобок в МТС CI #72: Pull request #47 synchronize by konard
35s konard:issue-42-2438160c2b8f
konard:issue-42-2438160c2b8f
35s
Анализ природы скобок в МТС CI #71: Pull request #47 synchronize by konard
33s konard:issue-42-2438160c2b8f
konard:issue-42-2438160c2b8f
33s
Merge pull request #45 from konard/issue-44-96f563cfe778 CI #70: Commit e61451b pushed by netkeep80
25s main
main
25s
Code review проекта: исправление багов, CI, линтинг и документация CI #69: Pull request #45 synchronize by konard
34s konard:issue-44-96f563cfe778
konard:issue-44-96f563cfe778
34s
Code review проекта: исправление багов, CI, линтинг и документация CI #68: Pull request #45 synchronize by konard
29s konard:issue-44-96f563cfe778
konard:issue-44-96f563cfe778
29s
Code review проекта: исправление багов, CI, линтинг и документация CI #67: Pull request #45 synchronize by konard
18s konard:issue-44-96f563cfe778
konard:issue-44-96f563cfe778
18s
Delete mtc_formula_prover.py.txt CI #66: Commit 75a9d57 pushed by netkeep80
30s main
main
30s
Merge pull request #43 from konard/issue-42-3b68b214c4bc CI #65: Commit e51989a pushed by netkeep80
35s main
main
35s
Переосмысление системы аксиом МТС: самозамкнутая система А4-А7 CI #64: Pull request #43 synchronize by konard
29s konard:issue-42-3b68b214c4bc
konard:issue-42-3b68b214c4bc
29s
Переосмысление системы аксиом МТС: самозамкнутая система А4-А7 CI #63: Pull request #43 synchronize by konard
32s konard:issue-42-3b68b214c4bc
konard:issue-42-3b68b214c4bc
32s
Update Метатеория связей.md CI #62: Commit b8c0c9a pushed by netkeep80
32s main
main
32s
Merge pull request #41 from konard/issue-40-5bd68650d738 CI #61: Commit 9c74685 pushed by netkeep80
28s main
main
28s
Исправление Аксиомы начальности (А6): диаграмма и развёртка рекурсии CI #60: Pull request #41 synchronize by konard
10s konard:issue-40-5bd68650d738
konard:issue-40-5bd68650d738
10s
Исправление Аксиомы начальности (А6): диаграмма и развёртка рекурсии CI #59: Pull request #41 synchronize by konard
10s konard:issue-40-5bd68650d738
konard:issue-40-5bd68650d738
10s
Update Шаблон аксиом МТС.md CI #58: Commit bea4458 pushed by netkeep80
33s main
main
33s
Merge pull request #39 from konard/issue-38-ace6664bacd4 CI #57: Commit 7655b65 pushed by netkeep80
31s main
main
31s
Исправление названий Аксиомы начальности (А5) и Аксиомы конечности (А6) CI #56: Pull request #39 synchronize by konard
27s konard:issue-38-ace6664bacd4
konard:issue-38-ace6664bacd4
27s
Исправление названий Аксиомы начальности (А5) и Аксиомы конечности (А6) CI #55: Pull request #39 synchronize by konard
25s konard:issue-38-ace6664bacd4
konard:issue-38-ace6664bacd4
25s
Merge pull request #37 from konard/issue-36-7c380ea544d2 CI #54: Commit c08fd7c pushed by netkeep80
33s main
main
33s