Skip to content

Merge pull request #20 from JetBrains-Research/manual-rewriting #153

Merge pull request #20 from JetBrains-Research/manual-rewriting

Merge pull request #20 from JetBrains-Research/manual-rewriting #153

Triggered via push November 29, 2024 10:48
Status Success
Total duration 33s
Artifacts
run-tests
21s
run-tests
Fit to window
Zoom out
Zoom in