Skip to content

[executorch] Make docs build less flaky #420

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

Closed
wants to merge 1 commit into from

Conversation

dbort
Copy link
Contributor

@dbort dbort commented Sep 20, 2023

Stack from ghstack (oldest at bottom):

The docs build sometimes fails with an error like

mv docs/_build/html /artifacts
mv: inter-device move failed: 'docs/_build/html' to '/artifacts/html'; unable to remove target: Directory not empty

(from https://github.com/pytorch/executorch/actions/runs/6251991315/job/16974762713#step:11:209)

Update the script to force-remove any existing /artifacts/html directory before copying, which should avoid this error.

Differential Revision: D49466514

The docs build sometimes fails with an error like

```
mv docs/_build/html /artifacts
mv: inter-device move failed: 'docs/_build/html' to '/artifacts/html'; unable to remove target: Directory not empty
```
(from https://github.com/pytorch/executorch/actions/runs/6251991315/job/16974762713#step:11:209)

Update the script to force-remove any existing `/artifacts/html` directory before copying, which should avoid this error.

Differential Revision: [D49466514](https://our.internmc.facebook.com/intern/diff/D49466514/)

[ghstack-poisoned]
@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Sep 20, 2023
dbort added a commit that referenced this pull request Sep 20, 2023
The docs build sometimes fails with an error like

```
mv docs/_build/html /artifacts
mv: inter-device move failed: 'docs/_build/html' to '/artifacts/html'; unable to remove target: Directory not empty
```
(from https://github.com/pytorch/executorch/actions/runs/6251991315/job/16974762713#step:11:209)

Update the script to force-remove any existing `/artifacts/html` directory before copying, which should avoid this error.

Differential Revision: [D49466514](https://our.internmc.facebook.com/intern/diff/D49466514/)

ghstack-source-id: 201361283
Pull Request resolved: #420
@facebook-github-bot
Copy link
Contributor

This pull request has been merged in d9eef24.

@facebook-github-bot facebook-github-bot deleted the gh/dbort/17/head branch September 24, 2023 14:21
Gasoonjia pushed a commit that referenced this pull request Jul 30, 2024
* rebase conflict

* adding some missed runners

* change to 16 core

* conflict

* fix up
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. Merged
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants