Skip to content

Bump fluffos submodule to 6436410 - #5

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
bump-fluffos-6436410
Open

Bump fluffos submodule to 6436410#5
github-actions[bot] wants to merge 1 commit into
mainfrom
bump-fluffos-6436410

Conversation

@github-actions

Copy link
Copy Markdown

Automated bump of the fluffos submodule to the latest master (6436410). The grammar/tooling tests and a packaging dry run passed against the new pin in the bump workflow run. CI does not auto-run on PRs opened with GITHUB_TOKEN -- close/reopen the PR or push to the branch if you want the check on the PR itself.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

0 participants