New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use NullBroadcasts.jl #3598

Merged

charleskawczynski merged 1 commit into main from ck/NullBroadcasts

Feb 6, 2025

Member

charleskawczynski commented Feb 5, 2025

This PR is a step towards #3594.

charleskawczynski added the Refactor label

charleskawczynski force-pushed the ck/NullBroadcasts branch 6 times, most recently from d9aaab3 to 99b9073 Compare

February 6, 2025 04:20


          Use NullBroadcasts.jl

4023c9c

charleskawczynski force-pushed the ck/NullBroadcasts branch from 99b9073 to 4023c9c Compare

February 6, 2025 13:14

charleskawczynski merged commit 0605cb9 into main

12 of 16 checks passed

charleskawczynski deleted the ck/NullBroadcasts branch

February 6, 2025 13:14

Member Author

charleskawczynski commented Feb 6, 2025

This PR passed CI, so I merged manually

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels