Skip to content
Pull Request Labeler

[Tutorial] DPL Analysis: use API instead of direct construction #25247

Sign in to view logs

[Tutorial] DPL Analysis: use API instead of direct construction

[Tutorial] DPL Analysis: use API instead of direct construction #25247

Re-run triggered July 9, 2026 14:07
@vkuceravkucera
#16989
Status Success
Total duration 19s
Artifacts –

labeler.yml

on: pull_request_target
labeler
5s
labeler
title-prefix-checker
4s
title-prefix-checker
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
title-prefix-checker
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: the-wright-jamie/Update-PR-Info-Action@v1.1.0. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
title-prefix-checker
No updates were made to PR body
title-prefix-checker
New title: "[Tutorial] DPL Analysis: use API instead of direct construction".
title-prefix-checker
The PR title needs to be adjusted.
title-prefix-checker
No known tags found in the prefix.