Skip to content

Conversation

srhb
Copy link
Contributor

@srhb srhb commented May 5, 2021

No description provided.

Copy link
Contributor

@johanot johanot left a comment

Choose a reason for hiding this comment

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

Approving this without a pre-greenlight from Travis. We should move to Github Actions and then setup pre-requisites for merging in repo settings.

@johanot johanot merged commit 872b780 into master May 5, 2021
@srhb srhb deleted the travis-nix-build branch May 5, 2021 08:41
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