Skip to content

[pull] main from github:main#46

Merged
pull[bot] merged 13 commits intoAndroid-studio61:mainfrom
github:main
May 8, 2026
Merged

[pull] main from github:main#46
pull[bot] merged 13 commits intoAndroid-studio61:mainfrom
github:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull Bot commented May 8, 2026

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )


Summary by cubic

Syncs workflow lock files with upstream to improve reliability and observability. Adds a fallback pin for actions/github-script@v8.0.0, enables OTLP telemetry on most workflows, and updates step wording to “agentic workflow”.

  • Dependencies

    • Added fallback pin for actions/github-script@v8.0.0 in .github/aw/actions-lock.json; manifests continue to use v9 as primary.
    • Refreshed pinned SHAs across many *.lock.yml workflows to match upstream.
  • Refactors

    • Enabled OTLP telemetry variables in most workflow manifests for better traces.
    • Renamed lock/unlock step labels from “agent workflow” to “agentic workflow” where present.

Written for commit b5ad3e1. Summary will update on new commits.

Copilot AI and others added 13 commits May 7, 2026 19:11
…30940)

* Initial plan

* chore: plan to fix "agent workflow" → "agentic workflow" terminology

Agent-Logs-Url: https://github.com/github/gh-aw/sessions/63b13a9b-95d1-4a4a-9e76-aaaf9f7becad

Co-authored-by: gh-aw-bot <259018956+gh-aw-bot@users.noreply.github.com>

* fix: update "agent workflow" to "agentic workflow" in lock/unlock step names

Agent-Logs-Url: https://github.com/github/gh-aw/sessions/63b13a9b-95d1-4a4a-9e76-aaaf9f7becad

Co-authored-by: gh-aw-bot <259018956+gh-aw-bot@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: gh-aw-bot <259018956+gh-aw-bot@users.noreply.github.com>
@pull pull Bot locked and limited conversation to collaborators May 8, 2026
@pull pull Bot added the ⤵️ pull label May 8, 2026
@pull pull Bot merged commit b5ad3e1 into Android-studio61:main May 8, 2026
1 check failed
@pull pull Bot had a problem deploying to github-pages May 8, 2026 06:45 Failure
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants