This repository was archived by the owner on Jul 31, 2023. It is now read-only.
Website link to RSS feed is broken #134
Description
When I visit https://project-oak.github.io/rust-verification-tools/, there's a "subscribe via RSS" link that points to https://project-oak.github.io/rust-verification-tools/feed.xml (which according to View Source is actually a <link type="application/atom+xml", not RSS). However, RSS or Atom, this link is broken and points to a 404.
Is it possible to fix the link to enable subscribing in a RSS reader?