decnum

website: Add wiki link to navigation bar #1455

Sign in to view logs

Summary
Jobs
- disabled
Run details
- Usage
- Workflow file

Triggered via pull request October 20, 2025 09:50

wader

opened #3424

wader:webpage-add-wiki-link

Status Success

Total duration 1m 4s

Artifacts –

decnum.yml

on: pull_request