commit bfa37b1b713cf0ea8d4e4a7cc97f8c90ea857559
author Cindy Chen <chencindy@opentitan.org> Mon May 24 16:09:01 2021 -0700
committer cindychip <cindy.chen0316@gmail.com> Mon May 24 21:14:59 2021 -0700
tree 936879d4caaa34ef523620c46ab6b00860b5bc55
parent 23acbe8159634e5479d568b350fdbfa9b4dbd5fd

[fpv] Fix formal result page link

This PR fixes the FPV result summary page URL link.

Signed-off-by: Cindy Chen <chencindy@opentitan.org>

hw/_index.md

diff --git a/hw/_index.md b/hw/_index.md
index 057d383..3c43239 100644
--- a/hw/_index.md
+++ b/hw/_index.md
@@ -19,7 +19,7 @@
 ## Results of tool-flows
 
 * [DV simulation summary results, with coverage (nightly)](https://reports.opentitan.org/hw/top_earlgrey/dv/summary.html)
-* [FPV summary results (nightly)](https://reports.opentitan.org/hw/top_earlgrey/fpv/summary.html)
+* [FPV summary results (nightly)](https://reports.opentitan.org/hw/top_earlgrey/formal/summary.html)
 * [AscentLint summary results (nightly)](https://reports.opentitan.org/hw/top_earlgrey/lint/ascentlint/summary.html)
 * [Verilator lint summary results (nightly)](https://reports.opentitan.org/hw/top_earlgrey/lint/verilator/summary.html)
 * [Style lint summary results (nightly)](https://reports.opentitan.org/hw/top_earlgrey/lint/veriblelint/summary.html)