Use rev instead of branch for OpenMina and Bridge dependencies#55
Merged
gabrielbosio merged 1 commit intominafrom Mar 11, 2025
Merged
Use rev instead of branch for OpenMina and Bridge dependencies#55gabrielbosio merged 1 commit intominafrom
gabrielbosio merged 1 commit intominafrom
