Skip to content

Actions: JetBrains-Research/verified-cogen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
355 workflow runs
355 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix processes Run pytest, ruff, and pyright #347: Commit f194e98 pushed by alex28sh
August 2, 2025 09:36 50s main
main
August 2, 2025 09:36 50s
fixes in style + gpt4.1 Run pytest, ruff, and pyright #346: Commit 0539df0 pushed by alex28sh
July 8, 2025 22:15 33s main
main
July 8, 2025 22:15 33s
added recent models Run pytest, ruff, and pyright #345: Commit 4d353f4 pushed by alex28sh
July 8, 2025 22:07 26s main
main
July 8, 2025 22:07 26s
parameters of 'Build' build configuration were updated (TeamCity chan… Run pytest, ruff, and pyright #344: Commit 621818c pushed by alex28sh
July 8, 2025 21:19 30s main
main
July 8, 2025 21:19 30s
requirements of 'Build' build configuration were updated (TeamCity ch… Run pytest, ruff, and pyright #343: Commit c8426f2 pushed by alex28sh
July 8, 2025 07:38 36s main
main
July 8, 2025 07:38 36s
general settings of 'Build' build configuration were updated (TeamCit… Run pytest, ruff, and pyright #342: Commit 523bc39 pushed by alex28sh
July 8, 2025 06:26 27s main
main
July 8, 2025 06:26 27s
requirements of 'Build' build configuration were updated (TeamCity ch… Run pytest, ruff, and pyright #341: Commit 915abcf pushed by alex28sh
July 7, 2025 21:47 26s main
main
July 7, 2025 21:47 26s
parameters of 'Build' build configuration were updated (TeamCity chan… Run pytest, ruff, and pyright #340: Commit ca57aa4 pushed by alex28sh
July 7, 2025 20:43 29s main
main
July 7, 2025 20:43 29s
Merge branch 'main' of https://github.com/JetBrains-Research/verified… Run pytest, ruff, and pyright #339: Commit ba969ad pushed by alex28sh
July 7, 2025 20:34 28s main
main
July 7, 2025 20:34 28s
parameters of 'Build' build configuration were updated (TeamCity chan… Run pytest, ruff, and pyright #338: Commit 632868d pushed by alex28sh
July 6, 2025 13:40 23s main
main
July 6, 2025 13:40 23s
added modes to kts + changed rewriters Run pytest, ruff, and pyright #337: Commit f239166 pushed by alex28sh
July 6, 2025 13:31 21s main
main
July 6, 2025 13:31 21s
update to the new teamcity version Run pytest, ruff, and pyright #336: Commit f6df34a pushed by alex28sh
July 1, 2025 22:02 27s main
main
July 1, 2025 22:02 27s
update to the new teamcity version Run pytest, ruff, and pyright #335: Commit 0cabc03 pushed by alex28sh
July 1, 2025 22:00 24s main
main
July 1, 2025 22:00 24s
optional manual-rewriters Run pytest, ruff, and pyright #334: Commit 4bf4de7 pushed by alex28sh
July 1, 2025 21:36 20s main
main
July 1, 2025 21:36 20s
optional manual-rewriters Run pytest, ruff, and pyright #333: Commit 7cfd10e pushed by alex28sh
July 1, 2025 21:32 23s main
main
July 1, 2025 21:32 23s
optional manual-rewriters Run pytest, ruff, and pyright #332: Commit e9b21bf pushed by alex28sh
July 1, 2025 21:29 24s main
main
July 1, 2025 21:29 24s
optional manual-rewriters Run pytest, ruff, and pyright #331: Commit cc53d33 pushed by alex28sh
July 1, 2025 21:04 26s main
main
July 1, 2025 21:04 26s
optional manual-rewriters Run pytest, ruff, and pyright #330: Commit f3423e1 pushed by alex28sh
July 1, 2025 20:54 24s main
main
July 1, 2025 20:54 24s
optional manual-rewriters Run pytest, ruff, and pyright #329: Commit 5c755f8 pushed by alex28sh
July 1, 2025 20:53 26s main
main
July 1, 2025 20:53 26s
fix kts Run pytest, ruff, and pyright #328: Commit ae28048 pushed by alex28sh
June 30, 2025 21:50 22s main
main
June 30, 2025 21:50 22s
fix kts Run pytest, ruff, and pyright #327: Commit 0f3ace5 pushed by alex28sh
June 30, 2025 21:42 27s main
main
June 30, 2025 21:42 27s
fix program params Run pytest, ruff, and pyright #326: Commit c98fc8a pushed by alex28sh
June 30, 2025 21:34 21s main
main
June 30, 2025 21:34 21s
parameters of 'Build' build configuration were updated (TeamCity chan… Run pytest, ruff, and pyright #325: Commit e42ca2b pushed by alex28sh
June 30, 2025 21:21 26s Teamcity-Nagini
Teamcity-Nagini
June 30, 2025 21:21 26s
remove unnecessary Run pytest, ruff, and pyright #324: Commit c02170b pushed by alex28sh
June 30, 2025 21:12 29s main
main
June 30, 2025 21:12 29s
Merge pull request #45 from JetBrains-Research/Teamcity-Nagini Run pytest, ruff, and pyright #323: Commit 9703a2c pushed by alex28sh
June 30, 2025 21:04 40s main
main
June 30, 2025 21:04 40s