Skip to content

Bump infra submodule to latest#282

Merged
ednolan merged 1 commit intomainfrom
enolan_infrabump1
Jan 4, 2026
Merged

Bump infra submodule to latest#282
ednolan merged 1 commit intomainfrom
enolan_infrabump1

Conversation

@ednolan
Copy link
Copy Markdown
Member

@ednolan ednolan commented Jan 4, 2026

This pulls in
bemanproject/infra@b3545a4, which fixes the use of beman projects as dependencies.

This pulls in
bemanproject/infra@b3545a4,
which fixes the use of beman projects as dependencies.
@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 100.0%. remained the same
when pulling df42d46 on enolan_infrabump1
into 7b1fa9f on main.

@ednolan ednolan merged commit 96691e1 into main Jan 4, 2026
92 checks passed
@ednolan ednolan deleted the enolan_infrabump1 branch January 4, 2026 23:57
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.

3 participants