Skip to content

ci: deploy website using official GitHub Actions #79

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Jun 11, 2025
Merged

ci: deploy website using official GitHub Actions #79

merged 1 commit into from
Jun 11, 2025

Conversation

marcoieni
Copy link
Member

@marcoieni marcoieni commented Jun 9, 2025 •
edited
Loading

  • change github pages settings after the PR is approved

@marcoieni marcoieni force-pushed the remove-deprecated-action branch from be6a32a to 0c39058 Compare June 9, 2025 17:06
@marcoieni marcoieni force-pushed the remove-deprecated-action branch from 0c39058 to 4868bb9 Compare June 9, 2025 17:07
@marcoieni marcoieni mentioned this pull request Jun 9, 2025
Closed
10 tasks
@marcoieni marcoieni marked this pull request as ready for review June 10, 2025 10:12
@marcoieni marcoieni merged commit 6178023 into rust-lang:master Jun 11, 2025
2 checks passed
@marcoieni
Copy link
Member Author

looks like it worked
image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@marcoieni