Skip to content

Actions: agda/fix-whitespace

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print line violations only under --verbose flag Build by Stack #183: Commit 46be4d2 pushed by andreasabel
August 7, 2023 09:59 14m 32s master
master
August 7, 2023 09:59 14m 32s