Skip to content

Better ImmutableList #3816

Open
wadoon wants to merge 5 commits into
mainfrom
weigl/ilist
Open

Better ImmutableList #3816
wadoon wants to merge 5 commits into
mainfrom
weigl/ilist

spotless

00c9abe
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
succeeded May 17, 2026 in 27m 30s