Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented May 9, 2024

This pull request changes the compat entry for the DynamicPPL package from 0.25.1 to 0.25.1, 0.26.
This keeps the compat entries for earlier versions.

Note: I have not tested your package with this new compat entry.
It is your responsibility to make sure that your package tests pass before you merge this pull request.

@github-actions github-actions bot force-pushed the compathelper/new_version/2024-05-09-00-25-12-333-02183230132 branch from 1785789 to afccde4 Compare May 9, 2024 00:25
@willtebbutt
Copy link
Collaborator

Anyone know why CI doesn't appear to have run here?

@devmotion
Copy link
Member

Typically that's caused by insufficient permissions or a missing/incorrect SSH key - by default GH actions are not allowed to trigger other GH actions.

@torfjelde
Copy link
Member

Closed in favour of #2225

@torfjelde torfjelde closed this May 17, 2024
@yebai yebai deleted the compathelper/new_version/2024-05-09-00-25-12-333-02183230132 branch June 6, 2024 16:40
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.

4 participants