Skip to content

Use Z3 from F* and new Linux package CI rule #178

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.

Sign up for GitHub

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

Jump to bottom
Merged
tahina-pro merged 6 commits into from
Mar 20, 2025
Merged

Use Z3 from F* and new Linux package CI rule #178

tahina-pro merged 6 commits into from
Mar 20, 2025

Conversation

@tahina-pro
Copy link
Member

@tahina-pro tahina-pro commented Mar 20, 2025

This PR:

  • removes any manual packaging of Z3 from the binary packages in favor of those installed by F*'s make install
  • replaces the Docker-based Linux package CI rule with the GitHub Actions-based one from actions: add package workflow #165 (thanks a lot @mtzguido !)

@tahina-pro tahina-pro merged commit 7446f10 into master Mar 20, 2025
9 checks passed
@tahina-pro tahina-pro deleted the _taramana_package_z3 branch March 20, 2025 17:49
tahina-pro added a commit to tahina-pro/quackyducky that referenced this pull request Mar 22, 2025
@tahina-pro
Revert "Merge pull request project-everest#178 from project-everest/_…
8b9f643 
…taramana_package_z3"

This reverts commit 7446f10, reversing
changes made to b59fc46.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@tahina-pro