Skip to content

Merge pull request #11727 from eMUQI/docs-fix #6843

Merge pull request #11727 from eMUQI/docs-fix

Merge pull request #11727 from eMUQI/docs-fix #6843

Triggered via push August 18, 2025 08:17
Status Cancelled
Total duration 1m 45s
Artifacts

pre-commit.yml

on: push
Check if fixes are needed
1m 41s
Check if fixes are needed
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Check if fixes are needed
The operation was canceled.
Check if fixes are needed
Canceling since a higher priority waiting request for pre-commit-refs/heads/master exists
Pre-commit hooks
Canceling since a higher priority waiting request for pre-commit-refs/heads/master exists