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

.travis: disable Documentation building on ARM64 #12043

Merged
merged 1 commit into from Jun 12, 2020

Conversation

Jianlin-lv
Copy link
Contributor

@Jianlin-lv Jianlin-lv commented Jun 12, 2020

Disable Documentation building on ARM64
Signed-off-by: Jianlin Lv Jianlin.Lv@arm.com

Fixes: #12012
Fixes: #12038

Signed-off-by: Jianlin Lv <Jianlin.Lv@arm.com>
@Jianlin-lv Jianlin-lv requested a review from a team as a code owner June 12, 2020 10:45
@maintainer-s-little-helper
Copy link

Please set the appropriate release note label.

@tklauser tklauser added the release-note/ci This PR makes changes to the CI. label Jun 12, 2020
@coveralls
Copy link

Coverage Status

Coverage increased (+0.003%) to 37.042% when pulling 6ca4b3e on Jianlin-lv:pr-disable-doc into e5bc626 on cilium:master.

@tklauser
Copy link
Member

Passed on arm64 Travis CI, marking as ready to merge.

@tklauser tklauser added the ready-to-merge This PR has passed all tests and received consensus from code owners to merge. label Jun 12, 2020
@errordeveloper errordeveloper merged commit 8aade7d into cilium:master Jun 12, 2020
1.8.0 automation moved this from In progress to Merged Jun 12, 2020
@errordeveloper
Copy link
Contributor

I wonder if this needs backporting to 1.8 branch?

@tklauser
Copy link
Member

I wonder if this needs backporting to 1.8 branch?

Yes, let's backport it.

@maintainer-s-little-helper maintainer-s-little-helper bot added this to Needs backport from master in 1.8.0 Jun 12, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot moved this from Needs backport from master to Backport pending to v1.8 in 1.8.0 Jun 12, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot moved this from Backport pending to v1.8 to Backport done to v1.8 in 1.8.0 Jun 16, 2020
@maintainer-s-little-helper maintainer-s-little-helper bot moved this from Backport pending to v1.8 to Backport done to v1.8 in 1.8.0 Jun 16, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready-to-merge This PR has passed all tests and received consensus from code owners to merge. release-note/ci This PR makes changes to the CI.
Projects
No open projects
1.8.0
  
Merged
1.8.0
Backport done to v1.8
6 participants