- Move to devenv.sh
- Move test workflow to devenv
- Move to devenv.sh
- Move test workflow to devenv
devenv-sh into main
Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.
No due date set.
No dependencies set.
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?