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

Drop Travis #1306

Merged
merged 1 commit into from
Aug 1, 2021
Merged

Drop Travis #1306

merged 1 commit into from
Aug 1, 2021

Conversation

simPod
Copy link
Contributor

@simPod simPod commented Mar 24, 2021

No description provided.

@gam6itko
Copy link
Contributor

I am afraid that the build of docs has been broken. I don't see any replacement of .travis/install_docs.sh and .travis/script_docs.sh files

@simPod
Copy link
Contributor Author

simPod commented Mar 26, 2021

@gam6itko thanks, did not notice it. Will do.

@simPod simPod marked this pull request as draft March 26, 2021 09:43
@simPod simPod force-pushed the drop branch 5 times, most recently from 67c601d to df58a65 Compare June 25, 2021 08:08
@simPod simPod marked this pull request as ready for review June 25, 2021 08:09
@simPod
Copy link
Contributor Author

simPod commented Jun 25, 2021

CI failures are fixed in #1327

@simPod simPod force-pushed the drop branch 10 times, most recently from bc7e481 to 6a98ac8 Compare August 1, 2021 13:12
@simPod
Copy link
Contributor Author

simPod commented Aug 1, 2021

@goetas Hi, I've been trying to keep this up to date for some time but would be nice if we could merge this so people contributing to the lib would need to change Github actions config instead of Travis' one so I don't have to do it then. Thanks!

@goetas goetas merged commit cbbfd58 into schmittjoh:master Aug 1, 2021
@goetas
Copy link
Collaborator

goetas commented Aug 1, 2021

Hi, I'm sorry , I forgot about this. Now is merged

@simPod
Copy link
Contributor Author

simPod commented Aug 1, 2021 via email

@simPod simPod deleted the drop branch August 2, 2021 05:46
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