Skip to content
PR build

docs: the name included in the toolchain identifier is not a branch name #637

Sign in to view logs

docs: the name included in the toolchain identifier is not a branch name

docs: the name included in the toolchain identifier is not a branch name #637

Triggered via pull request July 20, 2026 11:57
@RalfJungRalfJung
synchronize #843
RalfJung:branch-names
Status Success
Total duration 9m 8s
Artifacts –

pr.yml

on: pull_request
Linting
1m 47s
Linting
Linux testing
8m 59s
Linux testing
conclusion
3s
conclusion
Fit to window
Zoom out
Zoom in