Skip to content

feat: link OpenSSL #12030

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
Draft
algebraic-dev wants to merge 3 commits into
base: master
Choose a base branch
from
Draft

feat: link OpenSSL #12030

algebraic-dev wants to merge 3 commits into from
+69 −4

Conversation

@algebraic-dev
Copy link
Member

@algebraic-dev algebraic-dev commented Jan 16, 2026

This PR links OpenSSL

@algebraic-dev algebraic-dev self-assigned this Jan 16, 2026
@algebraic-dev algebraic-dev marked this pull request as draft January 16, 2026 21:56
@github-actions github-actions bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Jan 16, 2026
@leanprover-community-bot
Copy link
Collaborator

leanprover-community-bot commented Jan 16, 2026

Mathlib CI status (docs):

  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase b994cb4497aed84187e8208e388888ec140ff935 --onto 3dfd125337305c9de6ddcc7c0330c50f0e39fb8e. You can force Mathlib CI using the force-mathlib-ci label. (2026-01-16 23:16:59)

@leanprover-bot
Copy link
Collaborator

leanprover-bot commented Jan 16, 2026

Reference manual CI status:

  • ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase b994cb4497aed84187e8208e388888ec140ff935 --onto d92cdae8e901d3d9686f8c0e88a0371379c49dff. You can force reference manual CI using the force-manual-ci label. (2026-01-16 23:17:01)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@algebraic-dev algebraic-dev

Labels

toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@algebraic-dev @leanprover-community-bot @leanprover-bot