Skip to content

Remove devcontainer configuration#327

Merged
ednolan merged 1 commit intomainfrom
enolan_rmdevcontainer1
Mar 18, 2026
Merged

Remove devcontainer configuration#327
ednolan merged 1 commit intomainfrom
enolan_rmdevcontainer1

Conversation

@ednolan
Copy link
Member

@ednolan ednolan commented Mar 18, 2026

I'm sunsetting this functionality; previously, related documentation was removed by 13af812.

@coveralls
Copy link

coveralls commented Mar 18, 2026

Coverage Status

coverage: 100.0%. remained the same
when pulling 61d3e2c on enolan_rmdevcontainer1
into 7481e0f on main.

I'm sunsetting this functionality; previously, related documentation
was removed by 13af812.
@ednolan ednolan force-pushed the enolan_rmdevcontainer1 branch from cdf190e to 61d3e2c Compare March 18, 2026 22:00
@ednolan ednolan merged commit aa610ba into main Mar 18, 2026
96 checks passed
@ednolan ednolan deleted the enolan_rmdevcontainer1 branch March 18, 2026 22:03
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