Skip to content

beman-submodule: Bump infra; remove .github/workflows submodule#184

Merged
ednolan merged 1 commit intomainfrom
enolan_submodulebump1
Sep 30, 2025
Merged

beman-submodule: Bump infra; remove .github/workflows submodule#184
ednolan merged 1 commit intomainfrom
enolan_submodulebump1

Conversation

@ednolan
Copy link
Copy Markdown
Member

@ednolan ednolan commented Sep 30, 2025

This applies the separation of beman-tidy out of the infra repository and should fix any failing beman-submodule consistency checks in CI.

Also update .github/workflows to remove the beman-submodule and use
tagged infra-workflows link for reusable workflows.

@coveralls
Copy link
Copy Markdown

coveralls commented Sep 30, 2025

Coverage Status

coverage: 92.436%. remained the same
when pulling a415f81 on enolan_submodulebump1
into 4ca7476 on main.

This applies the separation of beman-tidy out of the infra repository
and should fix any failing beman-submodule consistency checks in CI.

Also update .github/workflows to remove the beman-submodule and use
tagged infra-workflows link for reusable workflows.
@ednolan ednolan force-pushed the enolan_submodulebump1 branch from 352eaf2 to a415f81 Compare September 30, 2025 03:32
@ednolan ednolan changed the title Bump infra beman-submodule to latest beman-submodule: Bump infra; remove .github/workflows submodule Sep 30, 2025
@ednolan ednolan merged commit b254fef into main Sep 30, 2025
41 checks passed
@ednolan ednolan deleted the enolan_submodulebump1 branch September 30, 2025 03:55
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.

2 participants