-
Notifications
You must be signed in to change notification settings - Fork 47
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
[CI] switch from Travis to Github Action #433
Conversation
Changes: * remove appveyor (and also windows 32bit) * leave travis for Documentation and Coverage * caching artifacts dir in CI
AppVeyor, however, needs to be uninstalled after this. Otherwise, it will give a big ❌ in the CI status. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I will merge this around 12:00 pm UTC today (July 18th). However, I do not have the permission to remove AppVeyor (webhook).
Thanks! We already have multiple commits on gh-pages, so the warning below seems to be ignorable. |
FYI, to tell TagBot not include issues/PRs in release summary, you can tag them with
|
Personally I don't feel the need to exclude this, though.:smile: |
Heads up: TagBot needs a ssh key to trigger the docs CI when there's a new release. Check the "TagBot & tagged versions" warning for more details: https://juliadocs.github.io/Documenter.jl/dev/man/hosting/#GitHub-Actions |
Changes:
leave travis for Documentation and Coveragecoverage report and documentation are moved to Github Action, too.