Não, não é bug no PyCharm, muito menos funciona no computador do seu colega. Não funciona porque o código está errado.

Primeiro, indentação. A indentação define os blocos de código no Python e é **fundamental** que ela esteja correta. Diferente da maioria das linguagens, o código não funcionará com a indentação errada. Seu primeiro laço está indentado em relação à definição da variável na primeira linha e isso não pode. Ambos devem estar no mesmo nível:

    lista = []
    while True:
        ...
        
Segundo, a função `input` **sempre** retorna uma *string*, então fazer `str(input(...))` é redundante e completamente desnecessário. Você remove os espaços do valor lido, converte para maiúsculas e pega o primeiro caractere:

    lista= []
    while True:
        ad = (int(input('Digite um valor: ')))
        if ad not in lista:
            lista.append(ad)
            print('Adicionado com sucesso!')
        else:
            print('Valor duplicado. Adição negada.')
        ask = input('Deseja continuar?[S/N] ').strip().upper()[0]
        
Terceiro, você espera que o usuário digite apenas S ou N, mas na linha abaixo você faz:

    lista= []
    while True:
        ad = (int(input('Digite um valor: ')))
        if ad not in lista:
            lista.append(ad)
            print('Adicionado com sucesso!')
        else:
            print('Valor duplicado. Adição negada.')
        ask = input('Deseja continuar?[S/N] ').strip().upper()[0]
        while ask not in 'SN':
            ...
            
Enquanto `ask` **não for** S ou N, faça... e logo depois você verifica se é S ou N. Essas condições nunca serão satisfeitas uma vez que o `while` garante que `ask` é **diferente** de S e N. Usar o `continue` ou o `break` aqui também não faz sentido, pois eles atuarão sobre o último laço de repetição, que é justamente o `while ask not in 'SN'`, mas isso não faz sentido.

Quarto, a sua última condição `elif ask != 'SN'` também está errada. Se você garantiu que `ask` é somente o **primeiro caractere informado**, ele nunca possuirá dois caracteres, portanto a igualdade **sempre** será satisfeita.