Skip to content

Actions: JetBrains-Research/verified-cogen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix dafny codegen Run pytest #5: Commit 7f61636 pushed by WeetHet
September 9, 2024 07:55 33s multilang-validate
multilang-validate
September 9, 2024 07:55 33s
wip Run pytest #4: Commit f2f11bf pushed by WeetHet
September 8, 2024 18:36 43s multilang-validate
multilang-validate
September 8, 2024 18:36 43s
Merge pull request #4 from JetBrains-Research/run-tests Run pytest #3: Commit 114b115 pushed by WeetHet
September 4, 2024 08:45 49s main
main
September 4, 2024 08:45 49s
Update poetry and actions Run pytest #2: Commit a6fb45c pushed by WeetHet
September 4, 2024 08:44 32s run-tests
run-tests
September 4, 2024 08:44 32s
Add tests that run on github actions Run pytest #1: Commit 189c4d7 pushed by WeetHet
September 4, 2024 08:42 37s run-tests
run-tests
September 4, 2024 08:42 37s