Skip to content
Github Pages

Add a script for finding unused rules #10541

Sign in to view logs

Add a script for finding unused rules

Add a script for finding unused rules #10541

Triggered via pull request July 1, 2024 17:25
@Mab879Mab879
opened #12110
Mab879:add_script_for_unused_rules
Status Cancelled
Total duration 14m 21s
Artifacts –

gh-pages.yaml

on: pull_request
Publish stats, tables and guides
14m 7s
Publish stats, tables and guides
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Publish stats, tables and guides
Canceling since a higher priority waiting request for 'Github Pages-12110' exists
Publish stats, tables and guides
The operation was canceled.