Skip to content
New issue

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

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

Already on GitHub? # to your account

Remove the github pages CI in favor of vercel #241

Merged
merged 3 commits into from
Jul 25, 2022
Merged

Remove the github pages CI in favor of vercel #241

merged 3 commits into from
Jul 25, 2022

Conversation

vwxyzjn
Copy link
Owner

@vwxyzjn vwxyzjn commented Jul 25, 2022

Description

We already have vercel CI for building docs. Let's remove the github pages CI.
image

Types of changes

  • Bug fix
  • New feature
  • New algorithm
  • Documentation

@vercel
Copy link

vercel bot commented Jul 25, 2022

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Updated
cleanrl ✅ Ready (Inspect) Visit Preview Jul 25, 2022 at 2:03PM (UTC)

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant