CI for user manual: install pytz

FStarLang / karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Apache License 2.0

394 stars 58 forks source link

CI for user manual: install pytz #433

Closed tahina-pro closed 3 months ago

tahina-pro commented 3 months ago

following https://stackoverflow.com/a/73949524

This is confirmed to work with EverParse (see project-everest/everparse@4c532e5bca021c8c5c4293b3b7d7e2f57e22cbe4) : sphinx now correctly runs and updates EverParse's user manual.

msprotz commented 3 months ago

Thanks Tahina!