agora/.github
Emily Martins 3adc3f72a5 publish haddock in CI
- set correct subdirectory for docs
- add elucidating comment about deployment target
2022-04-19 16:19:14 +02:00
..
workflows publish haddock in CI 2022-04-19 16:19:14 +02:00