Skip to content
[CI] Lint PR format

Fix remove inappropriate roles menu and menuitem #442

Sign in to view logs

Fix remove inappropriate roles menu and menuitem

Fix remove inappropriate roles menu and menuitem #442

Triggered via pull request September 9, 2025 11:44
@Stef-RoussetStef-Rousset
synchronize #1281
Status Success
Total duration 1m 57s
Artifacts –

lint_pr_format.yml

on: pull_request_target
Check PR title
5s
Check PR title
Add PR labels
8s
Add PR labels
Check PR labels
13s
Check PR labels
Fit to window
Zoom out
Zoom in