Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ci: build for the web #8

Merged
merged 2 commits into from
Nov 29, 2023
Merged

ci: build for the web #8

merged 2 commits into from
Nov 29, 2023

Conversation

florianvazelle
Copy link
Member

No description provided.

@florianvazelle florianvazelle force-pushed the coi branch 8 times, most recently from e1f09fc to 6bf90bc Compare November 23, 2023 07:18
@florianvazelle florianvazelle merged commit 09303d0 into 4.x Nov 29, 2023
8 checks passed
@florianvazelle florianvazelle deleted the coi branch November 29, 2023 17:50
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.

1 participant