Skip to content

Actions: FormalLanguageConstrainedPathQuerying/formal-lang-course

Actions

Code style & linting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
230 workflow runs
230 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor tensor_based_cfpq signature in tasks.md (swap start_nodes wi…
Code style & linting #532: Commit c740c51 pushed by WoWaster
November 5, 2024 17:39 35s main
November 5, 2024 17:39 35s
Add .DS_Store to .gitignore
Code style & linting #523: Commit ad383d6 pushed by WoWaster
September 17, 2024 07:06 30s main
September 17, 2024 07:06 30s
[README.md] Add link to KotlinAutomataConstructor
Code style & linting #521: Commit 60ff186 pushed by gsvgit
September 12, 2024 06:47 26s main
September 12, 2024 06:47 26s
Remove recommendation from readme
Code style & linting #519: Commit cdc2234 pushed by KubEF
September 9, 2024 12:33 29s main
September 9, 2024 12:33 29s
Унифицирование сигнатур функций rpq и cfpq (#166)
Code style & linting #513: Commit 79445de pushed by KubEF
September 7, 2024 11:46 26s main
September 7, 2024 11:46 26s
Привёл сигнатуры функций rpq и cfpq к одному виду
Code style & linting #512: Pull request #166 synchronize by KubEF
September 7, 2024 09:01 30s rpq-cfpq-unification
September 7, 2024 09:01 30s
Rewrite task 3 about constructor
Code style & linting #511: Commit 760dc61 pushed by KubEF
September 7, 2024 09:01 28s rpq-cfpq-unification
September 7, 2024 09:01 28s
Change signatures of tasks 3 and 4
Code style & linting #507: Commit 307a720 pushed by KubEF
September 6, 2024 12:43 26s rpq-cfpq-unification
September 6, 2024 12:43 26s
Change signatures of tasks 3 and 4
Code style & linting #506: Commit f6f9597 pushed by KubEF
September 6, 2024 12:35 27s rpq-cfpq-unification
September 6, 2024 12:35 27s
Change signatures of tasks 3 and 4
Code style & linting #505: Commit 0f8de83 pushed by KubEF
September 6, 2024 12:33 29s rpq-cfpq-unification
September 6, 2024 12:33 29s
tasks.md: ссылка на актуальную таблицу
Code style & linting #504: Commit 3ff89ae pushed by gsvgit
September 2, 2024 06:29 31s main
September 2, 2024 06:29 31s
Ручные тесты (#164)
Code style & linting #502: Commit f0d0b99 pushed by WoWaster
September 1, 2024 10:50 31s main
September 1, 2024 10:50 31s
Актуализация README. (#157)
Code style & linting #501: Commit d4308b5 pushed by WoWaster
September 1, 2024 10:45 32s main
September 1, 2024 10:45 32s
Актуализация README.
Code style & linting #500: Pull request #157 synchronize by gsvgit
September 1, 2024 06:20 1m 9s Readme
September 1, 2024 06:20 1m 9s
Ручные тесты
Code style & linting #499: Pull request #164 synchronize by KubEF
August 30, 2024 08:20 34s concrete-tests
August 30, 2024 08:20 34s
Fix linter errors
Code style & linting #498: Commit efe89f7 pushed by KubEF
August 30, 2024 08:19 26s concrete-tests
August 30, 2024 08:19 26s
Ручные тесты
Code style & linting #497: Pull request #164 synchronize by KubEF
August 30, 2024 08:01 28s concrete-tests
August 30, 2024 08:01 28s
Add concrete tests for rpq algorithms
Code style & linting #496: Commit 3ecf8c0 pushed by KubEF
August 30, 2024 08:01 27s concrete-tests
August 30, 2024 08:01 27s
Ручные тесты
Code style & linting #495: Pull request #164 opened by KubEF
August 30, 2024 07:59 28s concrete-tests
August 30, 2024 07:59 28s
Add concrete tests for rpq algorithms
Code style & linting #494: Commit 6e7029a pushed by KubEF
August 30, 2024 07:56 26s concrete-tests
August 30, 2024 07:56 26s
Check if tensor_based_rpq exists
Code style & linting #493: Commit 2ddb04c pushed by WoWaster
August 27, 2024 12:36 27s main
August 27, 2024 12:36 27s
Переименование функций и структур
Code style & linting #492: Pull request #163 synchronize by WoWaster
August 27, 2024 09:21 28s renaming
August 27, 2024 09:21 28s