indentation

Introduce solver td_simplified_ref.ml #12494

Sign in to view logs

Triggered via pull request May 26, 2025 11:32

arkocal

synchronize #1751

td_simplified_ref

Status Success

Total duration 1m 21s

Artifacts –

indentation.yml

on: pull_request

Matrix: indentation