Skip to content
Test

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

Sign in to view logs

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

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

The logs for this run have expired and are no longer available.