Whitespace

Merge pull request #13 from well-typed/edsko/fix-userprovided #36

Sign in to view logs

Triggered via push November 15, 2025 09:07

github-merge-queue[bot]

main

Status Success

Total duration 8s

Artifacts –

check-whitespace.yml

on: push