Fix get_target_dir
and build.py to make packaging work properly with new prusti_contracts dir
#7313
Triggered via pull request
December 5, 2023 23:42
Status
Success
Total duration
1h 47m 36s
Artifacts
–
test.yml
on: pull_request
fmt-check
21s
clippy-check
3m 29s
check-deps
10m 27s
smir-check
5s
quick-tests
6m 11s
can-merge
4s