40135585079
81%

Ran 24 Oct 2026 09:46PM UTC

Jobs 1

Files 110

Run time 1min

Badge

Embed ▾

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

Build # 40135585079

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	40135585079.1	24 Oct 2026 09:46PM UTC	110	80.84	GitHub Action Run

FEniCS / ufl / 40135585079
81%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 40135585079

FEniCS / ufl / 40135585079 81%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 40135585079

FEniCS / ufl / 40135585079
81%

README BADGES
x