Fix CI link using https instead of http