Skip to content

Replace record directive "eta-equality" by "no-eta-equality;pattern" #660

Replace record directive "eta-equality" by "no-eta-equality;pattern"

Replace record directive "eta-equality" by "no-eta-equality;pattern" #660

Triggered via pull request September 6, 2024 20:34
Status Success
Total duration 20s
Artifacts

whitespace.yml

on: pull_request
check-whitespace
9s
check-whitespace
Fit to window
Zoom out
Zoom in