Skip to content
This repository was archived by the owner on May 14, 2026. It is now read-only.

chore: Add script to automate PR merging #6288

chore: Add script to automate PR merging

chore: Add script to automate PR merging #6288

Triggered via pull request October 3, 2025 19:24
Status Success
Total duration 11s
Artifacts
should-run-library-generation-tests
8s
should-run-library-generation-tests
library-generation-unit-tests
0s
library-generation-unit-tests
library-generation-lint-shell
0s
library-generation-lint-shell
library-generation-lint-python
0s
library-generation-lint-python
Fit to window
Zoom out
Zoom in