Skip to content

chore: bump Motoko to v1.7.0#185

Closed
github-actions[bot] wants to merge 1 commit intomainfrom
infra/bump-motoko-v1.7.0
Closed

chore: bump Motoko to v1.7.0#185
github-actions[bot] wants to merge 1 commit intomainfrom
infra/bump-motoko-v1.7.0

Conversation

@github-actions
Copy link
Copy Markdown

@github-actions github-actions Bot commented May 4, 2026

Summary

Automated bump of .sources/motoko from v1.6.0 to v1.7.0.

  • Ran npm run sync:motoko — synced docs from the new release
  • Build passed ✓

⚠️ Warnings — manual review required

  • FILE-EMBED EMPTY: ../examples/todo-error.mo#L60-L60 in docs/languages/motoko/fundamentals/error-handling.md — line range resolved to empty content (upstream off-by-one?)

Checklist

  • Review synced content for breaking changes
  • Check release notes for API or syntax changes that affect hand-written docs
  • Verify any new sections or renamed files are handled correctly

Sync recommendation

sync from caffeinelabs/motoko doc/md

@marc0olo marc0olo marked this pull request as draft May 5, 2026 07:45
@marc0olo marc0olo marked this pull request as ready for review May 5, 2026 07:45
@marc0olo marc0olo requested a review from a team as a code owner May 5, 2026 07:45
@marc0olo
Copy link
Copy Markdown
Member

marc0olo commented May 5, 2026

Closing this PR — it was created by the workflow using GITHUB_TOKEN with elevated permissions, which is not allowed now that the repo is public.

The fix is tracked in #196: we're switching to the pr-automation-bot-public GitHub App for automated PR creation. Once those changes are merged, we'll re-trigger the workflow manually to re-run the same Motoko v1.7.0 sync via the new setup.

@marc0olo marc0olo closed this May 5, 2026
@marc0olo marc0olo deleted the infra/bump-motoko-v1.7.0 branch May 5, 2026 16:38
@marc0olo marc0olo mentioned this pull request May 5, 2026
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant