Skip to content

Actions: netkeep80/aprover

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
130 workflow runs
130 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update CI #96: Commit 834952e pushed by netkeep80
1m 2s main
main
1m 2s
update Deploy to GitHub Pages #31: Commit 834952e pushed by netkeep80
40s main
main
40s
update CI #95: Commit 54bbc3e pushed by netkeep80
1m 14s main
main
1m 14s
update Deploy to GitHub Pages #30: Commit 54bbc3e pushed by netkeep80
27s main
main
27s
update CI #94: Commit b5ecc68 pushed by netkeep80
59s main
main
59s
update Deploy to GitHub Pages #29: Commit b5ecc68 pushed by netkeep80
36s main
main
36s
Merge pull request #59 from konard/issue-58-5d3b7a98f991 Deploy to GitHub Pages #28: Commit 2149356 pushed by netkeep80
34s main
main
34s
Merge pull request #59 from konard/issue-58-5d3b7a98f991 CI #93: Commit 2149356 pushed by netkeep80
57s main
main
57s
feat: Добавить кнопки для быстрой вставки символов ∞, ♂, ♀ CI #92: Pull request #59 synchronize by konard
54s konard:issue-58-5d3b7a98f991
konard:issue-58-5d3b7a98f991
54s
Merge pull request #57 from konard/issue-56-01373fc8d0f5 CI #91: Commit b9f969e pushed by netkeep80
59s main
main
59s
Merge pull request #57 from konard/issue-56-01373fc8d0f5 Deploy to GitHub Pages #27: Commit b9f969e pushed by netkeep80
38s main
main
38s
feat: Добавить кнопки для быстрой вставки символов ∞, ♂, ♀ CI #90: Pull request #59 synchronize by konard
1m 12s konard:issue-58-5d3b7a98f991
konard:issue-58-5d3b7a98f991
1m 12s
feat: Remove period support from formal notation CI #89: Pull request #57 synchronize by konard
53s konard:issue-56-01373fc8d0f5
konard:issue-56-01373fc8d0f5
53s
feat: Добавить кнопки для быстрой вставки символов ∞, ♂, ♀ CI #88: Pull request #59 opened by konard
59s konard:issue-58-5d3b7a98f991
konard:issue-58-5d3b7a98f991
59s
feat: Remove period support from formal notation CI #87: Pull request #57 synchronize by konard
1m 22s konard:issue-56-01373fc8d0f5
konard:issue-56-01373fc8d0f5
1m 22s
feat: Remove period support from formal notation CI #86: Pull request #57 synchronize by konard
57s konard:issue-56-01373fc8d0f5
konard:issue-56-01373fc8d0f5
57s
feat: Remove period support from formal notation CI #85: Pull request #57 synchronize by konard
59s konard:issue-56-01373fc8d0f5
konard:issue-56-01373fc8d0f5
59s
feat: Remove period support from formal notation CI #84: Pull request #57 opened by konard
56s konard:issue-56-01373fc8d0f5
konard:issue-56-01373fc8d0f5
56s
[WIP] Сделать следующую задачу в текущей фазе разработки и после обновить README.md и файл фазы разработки CI #83: Pull request #55 opened by konard
1m 7s konard:issue-10-9b54cac08627
konard:issue-10-9b54cac08627
1m 7s
Merge pull request #54 from konard/issue-53-02e3c5d827cf CI #82: Commit b277619 pushed by netkeep80
1m 1s main
main
1m 1s
Merge pull request #54 from konard/issue-53-02e3c5d827cf Deploy to GitHub Pages #26: Commit b277619 pushed by netkeep80
29s main
main
29s
fix: Implement recursive expansion for axioms A5 and A6 CI #81: Pull request #54 synchronize by konard
1m 8s konard:issue-53-02e3c5d827cf
konard:issue-53-02e3c5d827cf
1m 8s
fix: Implement recursive expansion for axioms A5 and A6 CI #80: Pull request #54 synchronize by konard
1m 2s konard:issue-53-02e3c5d827cf
konard:issue-53-02e3c5d827cf
1m 2s
fix: Implement recursive expansion for axioms A5 and A6 CI #79: Pull request #54 opened by konard
1m 6s konard:issue-53-02e3c5d827cf
konard:issue-53-02e3c5d827cf
1m 6s
Merge pull request #52 from konard/issue-51-038f3c18cbbd CI #78: Commit 509842a pushed by netkeep80
58s main
main
58s