Skip to content

Bump fluffos submodule to 0f91897 - #4

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

Bump fluffos submodule to 0f91897#4
github-actions[bot] wants to merge 1 commit into
mainfrom
bump-fluffos-0f91897

Conversation

@github-actions

Copy link
Copy Markdown

Automated bump of the fluffos submodule to the latest master (0f91897). 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