search

project-oak / rust-verification-tools

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
https://project-oak.github.io/rust-verification-tools/
Apache License 2.0
274 stars 37 forks source link

Website link to RSS feed is broken #134

Open nyanpasu64 opened 3 years ago

nyanpasu64 commented 3 years ago

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?

sp1ff commented 3 years ago

:+1: