Skip to content

Commit Notebook Markdown Changes - #103

Merged
ablaom merged 4 commits into
devfrom
auto-update-notebooks
Oct 17, 2026
Merged

ablaom merged 4 commits into
devfrom
auto-update-notebooks

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 17, 2026 •

Copy link
Copy Markdown
Contributor

This pull request REPLACES #102 as it additionally commits new or regenerated notebook markdown files, plot SVG's, etc.

Instructions

Accept the invitation to run pending workflows. If none are apparent, then close and immediately re-open this pull request. When CI finishes running, you can preview the new documentation here.

If happy with the preview, merge this pull request to trigger deployment of the new docs to gh-pages.

You can check repository "Actions" to check when deployment is complete. You should see: ✅ pages build and deployment

This pull request will automatically update if additional commits are successfully added to the parent pull request, #102.

ablaom and others added 4 commits October 17, 2026 21:10
peter-evans/create-pull-request rebases only the changes made during the
workflow onto `base` whenever `base` differs from the checked-out ref, so
the spawned PR contained the generated markdown but none of the parent
PR's own commits.

Build the branch directly instead: for a pull_request event the checkout
is the merge commit, so branching from HEAD and committing the generated
files gives a branch that diffs against the base as "parent's changes +
generated files". Create/update the PR with gh.

Also add an explicit permissions block, now that the job pushes directly.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@ablaom
ablaom merged commit 770f357 into dev Oct 17, 2026
5 checks passed
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