Ensure formatting

Exporter: disable the translation of `UserTy` for now #578

Sign in to view logs

Triggered via pull request August 4, 2023 14:12

W95Psp

synchronize #209

disable-user-ty

Status Success

Total duration 1m 8s

Artifacts –

format.yml

on: pull_request