Skip to content

Merge pull request #1143 from rainlanguage/01/13/25-remove-unused-Bad… #617

Merge pull request #1143 from rainlanguage/01/13/25-remove-unused-Bad…

Merge pull request #1143 from rainlanguage/01/13/25-remove-unused-Bad… #617

Triggered via push January 20, 2025 10:10
Status Success
Total duration 1h 50m 59s
Artifacts
Matrix: publish-tauri
Fit to window
Zoom out
Zoom in