add live dashboard cta; rename browse cta to workloads

Author: atharvas

localgdoc.aml

@@ -31,6 +31,9 @@ superscript: 3
 label: Cornell University
 []
 [paperHeader.actions]
+label: Live dashboard
+icon: activity
+href: https://data.formulacode.org/
 label: Arxiv
 icon: file-text
 href: https://arxiv.org/abs/2603.16011

src/components/layout/OverviewHeader.svelte

@@ -38,6 +38,11 @@
 	];
 
 	const defaultActions = [
+		{
+			label: "Live dashboard",
+			icon: "activity",
+			href: "https://data.formulacode.org/"
+		},
 		{ label: "arXiv", icon: "file-text", href: "https://arxiv.org/abs/2603.16011" },
 		{
 			label: "Dataset",
@@ -114,7 +119,7 @@
 	<div class="hero-ctas hero-ctas-wide">
 		<a class="btn btn-primary btn-wide" href="/explorer/">
 			<span class="cta-mark">⌕</span>
-			Browse all tasks
+			Browse workloads
 		</a>
 	</div>