Skip to content

Fix deployment#88

Merged
jmarek41 merged 1 commit intomainfrom
housekeep/fix-deployment
Mar 18, 2026
Merged

Fix deployment#88
jmarek41 merged 1 commit intomainfrom
housekeep/fix-deployment

Conversation

@jmarek41
Copy link
Member

@jmarek41 jmarek41 commented Mar 18, 2026

The cleanup-preview job tries to delete a mike docs version for every deleted branch, but docs are only deployed for branches that change docs-related files. So when housekeep/add-upload-action is deleted, the corresponding mike identifier doesn't exist because no docs were ever deployed for it.

The fix is to ignore the error when the identifier doesn't exist.

@jmarek41 jmarek41 requested a review from ssestak March 18, 2026 10:12
@jmarek41 jmarek41 enabled auto-merge March 18, 2026 10:12
@jmarek41 jmarek41 merged commit 4ca6780 into main Mar 18, 2026
2 checks passed
@jmarek41 jmarek41 deleted the housekeep/fix-deployment branch March 18, 2026 10:24
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.

2 participants