Skip to content

ci: Try to fix github actions.#837

Merged
emilio merged 1 commit intomasterfrom
gh-actions-fix
May 29, 2023
Merged

ci: Try to fix github actions.#837
emilio merged 1 commit intomasterfrom
gh-actions-fix

Conversation

@emilio
Copy link
Copy Markdown
Collaborator

@emilio emilio commented May 29, 2023

Fixes #836

@emilio emilio merged commit ea6e886 into master May 29, 2023
@emilio emilio deleted the gh-actions-fix branch May 29, 2023 16:10
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.

Github actions are broken

1 participant