Skip to content

Bump infra beman-submodule to latest main#186

Merged
ednolan merged 1 commit intomainfrom
enolan_infrabump1
Jun 25, 2025
Merged

Bump infra beman-submodule to latest main#186
ednolan merged 1 commit intomainfrom
enolan_infrabump1

Conversation

@ednolan
Copy link
Copy Markdown
Member

@ednolan ednolan commented Jun 24, 2025

No description provided.

Comment thread infra/.gitignore Outdated
Comment thread infra/tools/beman-submodule/beman-submodule Outdated
Comment thread infra/tools/beman-tidy/beman_tidy/lib/pipeline.py Outdated
Comment thread infra/tools/beman-tidy/docs/dev-guide.md Outdated
@ednolan ednolan force-pushed the enolan_infrabump1 branch from 290e530 to 8da5436 Compare June 25, 2025 14:15
@ednolan ednolan force-pushed the enolan_infrabump1 branch from 8da5436 to c30d922 Compare June 25, 2025 15:28
@ednolan ednolan merged commit c9f10d6 into main Jun 25, 2025
70 checks passed
@ednolan ednolan deleted the enolan_infrabump1 branch June 25, 2025 15:32
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