Skip to content
Build the documentation

Introduce the "bare"/"explicitly typed" Final terminology #1635

Sign in to view logs

Introduce the "bare"/"explicitly typed" Final terminology

Introduce the "bare"/"explicitly typed" Final terminology #1635

Triggered via pull request October 28, 2026 19:57
@srittausrittau
synchronize #2370
srittau:final-terms
Status Success
Total duration 22s
Artifacts –

build-docs.yml

on: pull_request
Build documentation
19s
Build documentation
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Build documentation
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"