indentation

Introduce solver td_simplified_ref.ml #12744

Sign in to view logs

Triggered via pull request July 15, 2025 11:07

arkocal

synchronize #1751

td_simplified_ref

Status Failure

Total duration 1m 24s

Artifacts –

indentation.yml

on: pull_request

Matrix: indentation

Annotations

1 error

indentation (ubuntu-22.04, 4.14.x)

Process completed with exit code 128.