Skip to content

[pull] main from B-Lang-org:main - #181

Merged
pull[bot] merged 17 commits into
chenm001:mainfrom
B-Lang-org:main
Jul 10, 2026
Merged

[pull] main from B-Lang-org:main#181
pull[bot] merged 17 commits into
chenm001:mainfrom
B-Lang-org:main

Comment to keep ghc version being tested in sync with manual installa…

9070bb6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check: code cleanliness
succeeded Jul 10, 2026 in 6s