Skip to content

Conversation

c42f
Copy link
Member

@c42f c42f commented Oct 16, 2019

This is a PR to run CI for a quick backported bugfix release as requested by @andreasnoack in #671. I've added that patch plus a few other extremely simple seemingly low risk fixes. We're overdue for a release 0.12.0 containing several features and a few deprecations but that will have to wait a little longer.

(Perhaps there's a better way to run CI across the various platforms?)

@c42f c42f added the release label Oct 16, 2019
@c42f
Copy link
Member Author

c42f commented Oct 16, 2019

@andreasnoack if this passes CI, feel free to create a new release 0.11.1 from this branch using JuliaRegistrator (I may not have time to do so tomorrow).

@coveralls
Copy link

Coverage Status

Coverage decreased (-0.007%) to 81.516% when pulling c9537b9 on release-0.11 into 4cfeb58 on master.

@c42f
Copy link
Member Author

c42f commented Oct 16, 2019

@JuliaRegistrator register branch=release-0.11

@JuliaRegistrator
Copy link

Pull request comments will not trigger Registrator as it is disabled. Please trying using a commit or issue comment.

@c42f c42f mentioned this pull request Oct 16, 2019
@fredrikekre
Copy link
Member

Perhaps there's a better way to run CI across the various platforms?

Add /^release-.*$/ to this list:

only:
- master
- /^v[0-9]+\.[0-9]+\.[0-9]+$/ # version tags for Documenter.jl, see # 298

@c42f
Copy link
Member Author

c42f commented Oct 16, 2019

Add /^release-.*$/ to this list

Thanks! I already did this in the last commit on this branch but we should add that patch to master as well (actually your version is more precise so we should use that).

I was more looking for a place to aggregate the CI results from appveyor and travis here at github and it seemed like a PR might be the way to do that.

@c42f
Copy link
Member Author

c42f commented Oct 22, 2019

Seems to have gone through ok.

@c42f c42f closed this Oct 22, 2019
@andreasnoack andreasnoack deleted the release-0.11 branch June 24, 2025 06:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants