Revert "dest/ci"

This reverts commit b0445f3f2e500d401158bb2e89c6a989ed25db6c.