Skip to content

Rename prelude build command to rainlang-prelude#472

Merged
thedavidmeister merged 1 commit into
mainfrom
rename-prelude-command
Apr 8, 2026
Merged

Rename prelude build command to rainlang-prelude#472
thedavidmeister merged 1 commit into
mainfrom
rename-prelude-command

Rename prelude build command to rainlang-prelude

ac409df
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar