Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Merged
merged 2 commits into from
Dec 6, 2023

Conversation

zgrannan
Copy link
Collaborator

@zgrannan zgrannan commented Dec 5, 2023

PR #1476 did not update the build script to also package Prusti correctly.

This fixes the workflow by locating the files in the correct location, and also fixes some bugs related to finding the prusti-contracts library from the artifact.

@zgrannan zgrannan merged commit 01539d2 into viperproject:master Dec 6, 2023
19 checks passed
@zgrannan zgrannan deleted the zgrannan/fix-deploy branch December 6, 2023 17:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant