Repository navigation

Build manual

[ci] Update Github actions to latest major release #22452

Sign in to view logs

Triggered via pull request July 26, 2026 20:57

gruenich

synchronize #8756

gruenich:feature/update-github-actions

Status Success

Total duration 2m 33s

Artifacts –

buildman.yml

on: pull_request

convert_via_pandoc