ProjectPythia / projectpythia.github.io

https://projectpythia.org
Apache License 2.0
32 stars 17 forks source link

Add Herbie documentation to gallery #440

Closed brian-rose closed 1 month ago

brian-rose commented 1 month ago

Here's a manual PR to address #397

github-actions[bot] commented 1 month ago

👋 Thanks for opening this PR! The Cookbook will be automatically built with GitHub Actions. To see the status of your deployment, click below. 🔍 Git commit SHA: bd700912c4bfc8cbd8b30cacfe80acf492eb4c8b ✅ Deployment Preview URL: https://projectpythia.github.io/_preview/440

brian-rose commented 1 month ago

This looks good, I will merge without review since I can't review my own PR!