Skip to content

Actions: JetBrains-Research/verified-cogen

Actions

Run pytest, ruff, and pyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pytest-ruff.yml
172 workflow runs
172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #23 from JetBrains-Research/6th-mode Run pytest, ruff, and pyright #172: Commit 32122ab pushed by alex28sh
January 9, 2025 13:18 28s main
main
January 9, 2025 13:18 28s
fixes to several_modes Run pytest, ruff, and pyright #171: Commit 6d1afb4 pushed by alex28sh
January 9, 2025 13:15 28s 6th-mode
6th-mode
January 9, 2025 13:15 28s
Fix dict in several_modes Run pytest, ruff, and pyright #170: Commit 394e3ce pushed by gt22
January 9, 2025 11:12 29s 6th-mode
6th-mode
January 9, 2025 11:12 29s
chore: update lockfiles Run pytest, ruff, and pyright #169: Commit 6c678ac pushed by WeetHet
January 8, 2025 14:46 49s main
main
January 8, 2025 14:46 49s
chore: update lockfiles Run pytest, ruff, and pyright #168: Commit ab601d4 pushed by WeetHet
January 8, 2025 14:44 55s step-by-step-flusn
step-by-step-flusn
January 8, 2025 14:44 55s
Add step by step flush runner to the GUI Run pytest, ruff, and pyright #167: Commit 44dad98 pushed by WeetHet
January 8, 2025 14:39 30s step-by-step-flusn
step-by-step-flusn
January 8, 2025 14:39 30s
Merge pull request #21 from JetBrains-Research/6th-mode Run pytest, ruff, and pyright #166: Commit c1e8ddb pushed by alex28sh
January 6, 2025 17:02 51s main
main
January 6, 2025 17:02 51s
fix user prompts and responses Run pytest, ruff, and pyright #165: Commit 692d7ee pushed by alex28sh
January 3, 2025 15:34 29s 6th-mode
6th-mode
January 3, 2025 15:34 29s
differentiate 6th mode from others Run pytest, ruff, and pyright #164: Commit 3496587 pushed by alex28sh
January 2, 2025 22:35 41s 6th-mode
6th-mode
January 2, 2025 22:35 41s
fix Run pytest, ruff, and pyright #163: Commit ff2a636 pushed by alex28sh
December 22, 2024 12:59 34s 6th-mode
6th-mode
December 22, 2024 12:59 34s
add several runs Run pytest, ruff, and pyright #162: Commit fae80c5 pushed by alex28sh
December 20, 2024 16:20 27s 6th-mode
6th-mode
December 20, 2024 16:20 27s
Merge branch 'main' into 6th-mode Run pytest, ruff, and pyright #161: Commit 2edd6d2 pushed by alex28sh
December 19, 2024 13:02 37s 6th-mode
6th-mode
December 19, 2024 13:02 37s
new scripts Run pytest, ruff, and pyright #160: Commit 854a5b4 pushed by gt22
December 19, 2024 11:01 57s main
main
December 19, 2024 11:01 57s
fix dafny Run pytest, ruff, and pyright #159: Commit 2a11fee pushed by alex28sh
December 10, 2024 19:31 36s 6th-mode
6th-mode
December 10, 2024 19:31 36s
fix dafny Run pytest, ruff, and pyright #158: Commit 6bb6dde pushed by alex28sh
December 10, 2024 19:29 37s 6th-mode
6th-mode
December 10, 2024 19:29 37s
fix prompts Run pytest, ruff, and pyright #157: Commit 9ada366 pushed by alex28sh
December 10, 2024 15:17 35s 6th-mode
6th-mode
December 10, 2024 15:17 35s
fixes Run pytest, ruff, and pyright #156: Commit 5cbde09 pushed by alex28sh
December 10, 2024 14:45 34s 6th-mode
6th-mode
December 10, 2024 14:45 34s
started 6th mode Run pytest, ruff, and pyright #155: Commit 77c3bdb pushed by alex28sh
December 9, 2024 10:36 22s 6th-mode
6th-mode
December 9, 2024 10:36 22s
fixes Run pytest, ruff, and pyright #154: Commit 64ff3b7 pushed by alex28sh
December 5, 2024 11:15 37s main
main
December 5, 2024 11:15 37s
Merge pull request #20 from JetBrains-Research/manual-rewriting Run pytest, ruff, and pyright #153: Commit 4e19627 pushed by alex28sh
November 29, 2024 10:48 33s main
main
November 29, 2024 10:48 33s
refactoring Run pytest, ruff, and pyright #152: Commit 0ebbd0c pushed by alex28sh
November 29, 2024 10:47 26s manual-rewriting
manual-rewriting
November 29, 2024 10:47 26s
fix Run pytest, ruff, and pyright #151: Commit 84b4965 pushed by alex28sh
November 29, 2024 10:46 33s manual-rewriting
manual-rewriting
November 29, 2024 10:46 33s
fix Run pytest, ruff, and pyright #150: Commit 9e69e3c pushed by alex28sh
November 29, 2024 10:43 29s manual-rewriting
manual-rewriting
November 29, 2024 10:43 29s
fixes Run pytest, ruff, and pyright #149: Commit 60b1475 pushed by alex28sh
November 29, 2024 10:18 26s manual-rewriting
manual-rewriting
November 29, 2024 10:18 26s
fix Run pytest, ruff, and pyright #148: Commit e8430dc pushed by alex28sh
November 29, 2024 10:08 26s manual-rewriting
manual-rewriting
November 29, 2024 10:08 26s