Revert "Dummy change to trigger the CI"

This reverts commit 2036208dff6bf72c663a2edfbbef3fd5a49b7d3f.