decnum

website: Make latest release (1.7) be default manual #854

Sign in to view logs

Summary
Jobs
- disabled
Run details
- Usage
- Workflow file

Triggered via pull request May 28, 2024 07:45

wader

synchronize #3130

wader:website-default-version-some-reorg

Status Success

Total duration 59s

Artifacts –

decnum.yml

on: pull_request