Workflow runs · JetBrains-Research/verified-cogen · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

4 workflow run results

4 workflow run results

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