Skip to content

Conversation

@Alizter
Copy link
Contributor

@Alizter Alizter commented Oct 17, 2022

This makes it only be called when needed. Otherwise it gets called during linking and that affects unreleated things.

This makes it only be called when needed. Otherwise it gets called
during linking and that affects unreleated things.

Signed-off-by: Ali Caglayan <alizter@gmail.com>

ps-id: ca9aa1c5-558d-428a-a796-d509eaa6a577
Copy link
Member

@Zimmi48 Zimmi48 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Happy to merge this, but I would appreciate some more explanation, context or reference to understand better what the issue is.

@Alizter
Copy link
Contributor Author

Alizter commented Oct 18, 2022

Explanation given in #245.

@Alizter Alizter merged commit c5880cf into rocq-prover:master Oct 18, 2022
@Alizter Alizter deleted the ps/rr/thunk_config_github_private_key branch October 18, 2022 15:14
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.

2 participants