Build Iris Lean

feat: port `modality_embed_mixin` and `IntoEmbed` #2028

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	2m 19s
build-math	5m 1s
check-stale	8s
report	7s
deploy	0s
	7m 35s