Skip to content

Add local to global index mapping #6382

Add local to global index mapping

Add local to global index mapping #6382

Triggered via pull request October 23, 2024 15:13
@MarcelKochMarcelKoch
synchronize #1707
Status Failure
Total duration 17m 37s
Artifacts

bot-pr-updated.yml

on: pull_request_target
check-format  /  Run pre-commit hooks
13s
check-format / Run pre-commit hooks
abidiff
17m 8s
abidiff
check-wiki-changelog
5s
check-wiki-changelog
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-wiki-changelog
Process completed with exit code 1.