Closed jalextowle closed 4 months ago
Fixes the check-diff github workflow so that it supports push events.
check-diff
push
Description
Fixes the
check-diff
github workflow so that it supportspush
events.