Skip to content

wasmtime/12.0.1 package update - #4789

Merged
ajayk merged 1 commit into
mainfrom
wolfictl-d42b1c05-b87c-4bc7-a71f-9b1cf1727377
Aug 24, 2023
Merged

wasmtime/12.0.1 package update#4789
ajayk merged 1 commit into
mainfrom
wolfictl-d42b1c05-b87c-4bc7-a71f-9b1cf1727377

Conversation

@wolfi-bot

@wolfi-bot wolfi-bot commented Aug 24, 2023

Copy link
Copy Markdown
Contributor

@wolfi-bot
wolfi-bot requested a review from a team as a code owner August 24, 2023 20:07
@wolfi-bot wolfi-bot added request-version-update request for a newer version of a package automated pr labels Aug 24, 2023
@github-actions

github-actions Bot commented Aug 24, 2023

Copy link
Copy Markdown
Contributor
Package wasmtime: Click to expand/collapse

Package wasmtime:
Modified: /usr/bin/wasmtime

Package libwasmtime: Click to expand/collapse

Package libwasmtime:
Modified: /usr/lib/libwasmtime.a
Modified: /usr/lib/libwasmtime.d
Modified: /usr/lib/libwasmtime.so

@ajayk
ajayk enabled auto-merge August 24, 2023 20:55
@ajayk
ajayk added this pull request to the merge queue Aug 24, 2023
Merged via the queue into main with commit 7cb65c5 Aug 24, 2023
@ajayk
ajayk deleted the wolfictl-d42b1c05-b87c-4bc7-a71f-9b1cf1727377 branch August 24, 2023 21:01
@philroche philroche mentioned this pull request Aug 29, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@ajayk ajayk ajayk approved these changes
@denhamparry denhamparry Awaiting requested review from denhamparry denhamparry was automatically assigned from wolfi-dev/wolfi-repository-maintainers
@jonjohnsonjr jonjohnsonjr Awaiting requested review from jonjohnsonjr jonjohnsonjr was automatically assigned from wolfi-dev/wolfi-repository-maintainers

Assignees

No one assigned

Labels

automated pr request-version-update request for a newer version of a package

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@wolfi-bot @ajayk