Draft: Attempt to fix CI following Moore!1043
check-copyright
and check-formatting
are currently failing since the RefBot was introduced. Trying Moore!1043 (merged) solution to see if that fixes it.
check-copyright
and check-formatting
are currently failing since the RefBot was introduced. Trying Moore!1043 (merged) solution to see if that fixes it.