diff --git a/_includes/footer.html b/_includes/footer.html
index 0864324d..e94c1064 100644
--- a/_includes/footer.html
+++ b/_includes/footer.html
@@ -12,10 +12,10 @@
           <a class="sitemap--list__link sitemap--list__link--parent" href="https://twitter.com/kleesymex">Twitter</a>
         </li>
         <li class="sitemap__item sitemap__item--doxygen">
-          <a class="sitemap--list__link sitemap--list__link--parent" href="http://www.doc.ic.ac.uk/~dsl11/klee-doxygen/">Doxygen</a>
+          <a class="sitemap--list__link sitemap--list__link--parent" href="">Doxygen</a>
         </li>
         <li class="sitemap__item sitemap__item--buildbot">
-          <a class="sitemap--list__link sitemap--list__link--parent" href="https://travis-ci.org/klee/klee/branches">TravisCI</a>
+          <a class="sitemap--list__link sitemap--list__link--parent" href="https://github.com/klee/klee/actions">GitHub Actions</a>
         </li>
       </ul>
       <div class="main-footer__klee-section">