First make sure your .netrc file looks right. Login in as instructed in wandb and its fine to relogin. Make sure it still looks fine. Make sure you update wandb with pip. You can set the env variable with your key too. Update pycharm. Remove all the .idea folders in your projects and start from scratch. Make sure your pycharm projs have the right path to the python interpreter form pycharm. Thats I think what worked…
(iit_term_synthesis) brandomiranda~/iit-term-synthesis ❯ rm -rf ../ultimate-utils/.idea
(iit_term_synthesis) brandomiranda~/iit-term-synthesis ❯ rm -rf ../iit-term-synthesis/.idea
(iit_term_synthesis) brandomiranda~/iit-term-synthesis ❯ rm -rf ../pycoq/.idea
(iit_term_synthesis) brandomiranda~/iit-term-synthesis ❯ rm -rf ../data/.idea
(iit_term_synthesis) brandomiranda~/iit-term-synthesis ❯ rm -rf ../proverbot/.idea
this was useful:
run_bash_command('pip install wandb --upgrade')
cat_file('~/.zshrc')
cat_file('~/.netrc')
wandb.init(project="proof-term-synthesis", entity="brando", name='run_name', group='expt_name')
print('success!\a')