Skip to content

infra: deploy-pages workflow#168

Merged
Picalines merged 6 commits into
mainfrom
infra/167/playground-pages
Jul 19, 2025
Merged

infra: deploy-pages workflow#168
Picalines merged 6 commits into
mainfrom
infra/167/playground-pages

Conversation

@Picalines
Copy link
Copy Markdown
Owner

@Picalines Picalines force-pushed the infra/167/playground-pages branch from e314d9f to 1264e53 Compare July 19, 2025 14:26
@Picalines Picalines enabled auto-merge (rebase) July 19, 2025 14:27
@Picalines Picalines merged commit 11ab6f1 into main Jul 19, 2025
9 checks passed
@Picalines Picalines deleted the infra/167/playground-pages branch July 19, 2025 14:29
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