Skip to content

Merge remote-tracking branch 'origin/main' into remove-mengenoperator #3776

Merge remote-tracking branch 'origin/main' into remove-mengenoperator

Merge remote-tracking branch 'origin/main' into remove-mengenoperator #3776

Triggered via push July 6, 2026 17:52
Status Success
Total duration 17s
Artifacts

formatting.yml

on: push
formatting
13s
formatting
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
formatting
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
formatting
The `python-version` input is not set. The version of Python currently in `PATH` will be used.