Skip to content
This repository has been archived by the owner on Aug 6, 2024. It is now read-only.

Apply crun workaround for github actions #25

Merged
merged 4 commits into from
Mar 14, 2024
Merged

Apply crun workaround for github actions #25

merged 4 commits into from
Mar 14, 2024

Conversation

fwilhe
Copy link
Member

@fwilhe fwilhe commented Mar 14, 2024

No description provided.

@fwilhe fwilhe merged commit 3b373eb into main Mar 14, 2024
6 checks passed
@fwilhe fwilhe deleted the crun-workaround branch March 14, 2024 15:12
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant