Skip to content

Revert PR #1527: remove one-time defaultEnvManager User-settings migration #421

Revert PR #1527: remove one-time defaultEnvManager User-settings migration

Revert PR #1527: remove one-time defaultEnvManager User-settings migration #421

This workflow is awaiting approval from a maintainer in #1612
Triggered via pull request June 25, 2026 02:46
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #1612

pr-file-check.yml

on: pull_request
Check for changed files
Check for changed files
Fit to window
Zoom out
Zoom in