search

BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.
https://scenic-lang.org/
Other
258 stars 93 forks source link

Doc Testing + Fixes #186

Closed Eric-Vin closed 9 months ago

Eric-Vin commented 9 months ago

This PR ensures that our CI tests building docs and fixes some issues that have cropped up.

Eric-Vin commented 9 months ago

Ok, as expected the docs tests are now running on the CI and failing.