Skip to content

Invalidate manifests.txt after updating it#93

Merged
emilyalbini merged 1 commit into
rust-lang:masterfrom
Noratrieb:invalidate-manifests-txt
Jul 5, 2025
Merged

Invalidate manifests.txt after updating it#93
emilyalbini merged 1 commit into
rust-lang:masterfrom
Noratrieb:invalidate-manifests-txt

Conversation

@Noratrieb

Copy link
Copy Markdown
Member

This ensures that the file is really up to date.

@Noratrieb Noratrieb force-pushed the invalidate-manifests-txt branch from 5e22ec9 to 23dba68 Compare July 5, 2025 13:40
Comment thread src/main.rs
@Noratrieb Noratrieb force-pushed the invalidate-manifests-txt branch from 23dba68 to 5f49a17 Compare July 5, 2025 13:43
@emilyalbini emilyalbini enabled auto-merge July 5, 2025 13:44
This ensures that the file is *really* up to date.
auto-merge was automatically disabled July 5, 2025 13:46

Head branch was pushed to by a user without write access

@Noratrieb Noratrieb force-pushed the invalidate-manifests-txt branch from 5f49a17 to 2d35c94 Compare July 5, 2025 13:46
@emilyalbini emilyalbini enabled auto-merge July 5, 2025 13:46
@emilyalbini emilyalbini merged commit 367bd60 into rust-lang:master Jul 5, 2025
6 checks passed
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