Fix `get_target_dir` and build.py to make packaging work properly with new prusti_contracts dir#1479

Merged

zgrannan merged 2 commits intoviperproject:masterfrom zgrannan:zgrannan/fix-deploy

Dec 6, 2023

+33-26

Commits on Dec 5, 2023

Fix get_target_dir and deploy.yml to make packaging work properly
zgrannan
committed
Add some comments, also reduce parallelism for carbon tests
zgrannan
committed