devops -> main #42
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "devops"
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?
Automated PR from CI pipeline.
Brings devops up to date with the 3-level pipeline design. Old workflow files (ci-build.yml, cleanup-handler.yml, issue-handler.yml) are removed; new files (level{1,2,3}-*.yml, _helpers.py, install.sh) replace them. Triggers a fresh level2-devops.yml run on push to verify the fixed workflows parse and execute correctly.