Back to pull request #14879

chore: remove spurious indent on set_option #114620

Sign in to view logs

Triggered via push July 18, 2024 19:14

kim-em

complex_set_option_indent

Status Success

Total duration 12s

Artifacts –

build_fork.yml

on: push

Lint style (fork)

Cancel Previous Runs (CI)

check workflows (fork)

Post-CI job (fork)