Skip to content

Update release date of Wasmtime 15.0.0#7556

Merged
alexcrichton merged 1 commit intomainfrom
ci/release-date-for-15.0.0
Nov 20, 2023
Merged

Update release date of Wasmtime 15.0.0#7556
alexcrichton merged 1 commit intomainfrom
ci/release-date-for-15.0.0

Conversation

@wasmtime-publish
Copy link
Copy Markdown
Collaborator

This is an automated pull request from CI which is updating
the release date of Wasmtime 15.0.0 to today. This PR's base branch
is main and a second PR will be coming to perform the actual
release which will be targeted at release-15.0.0.

@wasmtime-publish wasmtime-publish requested a review from a team as a code owner November 20, 2023 00:14
@wasmtime-publish wasmtime-publish requested review from alexcrichton and removed request for a team November 20, 2023 00:14
@github-actions github-actions bot added the wasmtime:docs Issues related to Wasmtime's documentation label Nov 20, 2023
@alexcrichton alexcrichton added this pull request to the merge queue Nov 20, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 20, 2023
@alexcrichton alexcrichton added this pull request to the merge queue Nov 20, 2023
Merged via the queue into main with commit 2a66498 Nov 20, 2023
@alexcrichton alexcrichton deleted the ci/release-date-for-15.0.0 branch November 20, 2023 16:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

wasmtime:docs Issues related to Wasmtime's documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants