ci: migrate from CircleCI to GitHub Actions - #166
Merged
gh-worker-mergegate-4580a3 / devflow/mergegate
succeeded
Apr 30, 2026 in 0s
Merge Gate
Merge Gate status is success
Details
- All applicable files are owned properly
Digest:8f33aa1
if this seems incorrect, you can retrigger the evaluation of the MergeGate by clicking on this link
Loading