Whitespace

Merge pull request #299 from well-typed/tc-macro-conversions #417

Sign in to view logs

Triggered via push January 15, 2025 10:07

edsko

main

Status Success

Total duration 12s

Artifacts –

fix-whitespace.yml

on: push

Check whitespace