make release number appear in the top navbar

drbenvincent · drbenvincent · commit b34119433f8f · 2024-06-26T11:51:53.000+01:00
diff --git a/docs/source/_templates/navbar-name.html b/docs/source/_templates/navbar-name.html
@@ -1 +1 @@
-<div class="causalpy-name">{{ project }} {{ version }}</div>
+<div class="causalpy-name">{{ project }} {{ release }}</div>

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-<div class="causalpy-name">{{ project }} {{ version }}</div>`
	`1`	`+<div class="causalpy-name">{{ project }} {{ release }}</div>`