< U016HSAA3RQ> did you push the changes open-source-silicon.dev #caravel-board

<@U016HSAA3RQ> did you push the changes?

# caravel-board

m

Michael Welling

10/24/2021, 8:42 PM

@User did you push the changes?