pgimenes
commented
7 months ago - update and simplify getting started instructions
- in environments where vivado not available, make shell doesn't try to map vivado volume
- don't trigger doc build on pull request