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

Add CompatHelper secret #1330

Merged
merged 1 commit into from
Jun 17, 2020
Merged

Add CompatHelper secret #1330

merged 1 commit into from
Jun 17, 2020

Conversation

devmotion
Copy link
Member

This PR prepares CompatHelper for running the CI tests on Github (currently CompatHelper does not run any Github CI tests).

Someone with sufficient permissions has to follow the steps in https://github.com/bcbi/CompatHelper.jl#122-instructions-for-setting-up-the-ssh-deploy-key and add a private key and a deploy key to make it actually work.

@yebai
Copy link
Member

yebai commented Jun 17, 2020

Someone with sufficient permissions has to follow the steps in https://github.com/bcbi/CompatHelper.jl#122-instructions-for-setting-up-the-ssh-deploy-key and add a private key and a deploy key to make it actually work.

@devmotion Just made you an admin, you should be able to change the setting for Turing.jl now.

@devmotion
Copy link
Member Author

Done 👍

@yebai yebai merged commit 26f18c1 into TuringLang:master Jun 17, 2020
@devmotion devmotion deleted the ci branch June 17, 2020 14:51
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