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

Sign in to view logs

Triggered via pull request November 14, 2024 07:45

anmonteiro

synchronize #1216

anmonteiro/refactor-inline-info

Status Success

Total duration 9m 38s

Artifacts –

opam-build.yml

on: pull_request

Matrix: Build and test