tree 18756fca0162f5e5193c92bff9646aa33c2ad453
parent ad7a61b745900eac3ca0ac9c93cc629233d2b663
author Davide Pesavento <davidepesa@gmail.com> 1633137653 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1633162404 -0400

ci: replace Travis with GitHub Actions

Sync docs/conf.py with ndn-cxx

Change-Id: I2c7106ef52a0e7c00de6767c6b59dbd3ce1dc082