41409990148
81%

Ran 02 Nov 2026 08:02AM UTC

Jobs 1

Files 110

Run time 1min

Badge

Embed ▾

Committed 24 Oct 2026 09:41PM UTC coverage: 80.839%. Remained the same

Build # 41409990148

Build Type

push

github

Committed by

web-flow

Commit Message

Add documentation version switcher (#542)

* Add documentation version switcher

Enable the pydata-sphinx-theme version dropdown. The version list is
generated by FEniCS/docs from the published documentation, and CI sets
DOCS_VERSION to the branch or tag name the documentation is published
under so the current version is highlighted.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

* Drop version from documentation title

The version switcher shows the version.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

* List one documentation version per release

Strip .postN from DOCS_VERSION so that all .postN builds of a release
match its single entry in the version switcher list.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

* Use github.ref_name for the docs version and publish folder

The version switcher match and the folder the documentation is published
to now come from one value, so they cannot drift apart. This replaces the
Set version name step, which computed the same name in the shell.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

Coverage Stats

10670 of 13199 relevant lines covered (80.84%)

0.81 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	41409990148.1	02 Nov 2026 08:02AM UTC	110	80.84	GitHub Action Run

FEniCS / ufl / 41409990148
81%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 41409990148

FEniCS / ufl / 41409990148 81%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 41409990148

FEniCS / ufl / 41409990148
81%

README BADGES
x