Replaced outdated Travis CI by GitHub Actions link, and removed outda…

…ted Doxygen link.
klee · Apr 1, 2022 · 69a4625 · 69a4625
1 parent 82ce528
commit 69a4625
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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">