Skip to content

refactor(core): rename prop{o,a}gate #2769

refactor(core): rename prop{o,a}gate

refactor(core): rename prop{o,a}gate #2769

Build and test (ubuntu-latest, ocaml-variants.5.3.0+trunk)

succeeded Nov 14, 2024 in 7m 32s