i#4111 web: Use newer Ubuntu for newer doxygen for docs (!4761) · Merge requests · DynamoRIO / dynamorio

Merged Derek Bruening requested to merge i4111-newer-doxygen into master Mar 01, 2021

For the ci-docs workflow, use Ubuntu 20.04 for a newer doxygen for better markdown support.

Issue: #4111