Skip to content

Remove docs publishing github action#396

Merged
ryanorendorff merged 2 commits intomainfrom
remove-docs-github-action
May 6, 2025
Merged

Remove docs publishing github action#396
ryanorendorff merged 2 commits intomainfrom
remove-docs-github-action

Conversation

@ryanorendorff
Copy link
Contributor

As it says on the tin. The docs at docs.sunscreen.tech are being replaced by the new compiler docs.

@ryanorendorff ryanorendorff enabled auto-merge (squash) May 6, 2025 17:49
@ryanorendorff ryanorendorff merged commit 564ee87 into main May 6, 2025
3 checks passed
@ryanorendorff ryanorendorff deleted the remove-docs-github-action branch May 6, 2025 17:59
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.

2 participants