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

Build dev docs in CI #38

Merged
merged 3 commits into from
Jul 23, 2024
Merged

Build dev docs in CI #38

merged 3 commits into from
Jul 23, 2024

Conversation

olynch
Copy link
Collaborator

@olynch olynch commented Jul 22, 2024

Same as #37, but without including a 3.4MiB binary in the source.

Copy link

netlify bot commented Jul 22, 2024

Deploy Preview for catcolab canceled.

Name Link
🔨 Latest commit 20e091a
🔍 Latest deploy log https://app.netlify.com/sites/catcolab/deploys/669ece3036983b000817b349

@olynch olynch force-pushed the devdocs-ci-no-binary branch from 8e3971d to baecaf4 Compare July 22, 2024 21:02
@olynch olynch changed the title Devdocs CI dev-docs CI Jul 22, 2024
@olynch olynch force-pushed the devdocs-ci-no-binary branch from 7b23ec0 to 20e091a Compare July 22, 2024 21:25
@olynch
Copy link
Collaborator Author

olynch commented Jul 22, 2024

Building is successful, now we just have to deploy!

@epatters epatters added the documentation Improvements or additions to documentation label Jul 22, 2024
@epatters epatters changed the title dev-docs CI Build dev docs in CI Jul 22, 2024
Copy link

netlify bot commented Jul 22, 2024

Deploy Preview for catcolab canceled.

Name Link
🔨 Latest commit b5b62e7
🔍 Latest deploy log https://app.netlify.com/sites/catcolab/deploys/669ef408756f2f0008330795

Copy link

github-actions bot commented Jul 22, 2024

@olynch olynch force-pushed the devdocs-ci-no-binary branch from e14dec0 to b5b62e7 Compare July 23, 2024 00:06
@epatters epatters merged commit d66df9a into main Jul 23, 2024
10 checks passed
@epatters epatters deleted the devdocs-ci-no-binary branch July 23, 2024 00:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants