Merge fix/ci-t_194de1fe -> main #14
No reviewers
Labels
No labels
blocked:gate-fetch
blocked:gate-fetch
blocked:needs-decision
blocked:no-changes
blocked:no-procedure
blocked:verify-failed
feature-request
in-progress
needs-triage
ops-task
quickfix
security/low
security/medium
triage-approved
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
Mark/clawdeploy!14
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "fix/ci-t_194de1fe"
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?
Auto-opened batch merger.
Closing this PR as part of repo flattening (parent kanban card t_74fbb28b).
The branch's fix is stale relative to main:
mainnow carries commit7254f89("ci: pin shell: bash on Python syntax check") which addresses the same root cause (Dashshon the Actions runner not supporting mapfile/pipefail) by pinningshell: bashon the Python syntax check step. The branch'sshell: bashpin on the Shellcheck step is the same pattern.Closing PR and deleting source branch
fix/ci-t_194de1fe. The work in this PR is preserved in git history on the branch's head SHA6ebb0d05.Pull request closed