Skip to content

chore: Track dependencies between sources and headers - #586

Merged
krlmlr merged 3 commits into
mainfrom
f-deps
May 1, 2025
Merged

chore: Track dependencies between sources and headers#586
krlmlr merged 3 commits into
mainfrom
f-deps

Conversation

@krlmlr

@krlmlr krlmlr commented May 1, 2025

Copy link
Copy Markdown
Member

No description provided.

@krlmlr krlmlr changed the title f deps chore: Support compilation database May 1, 2025
@krlmlr
krlmlr enabled auto-merge (squash) May 1, 2025 19:06
@krlmlr krlmlr changed the title chore: Support compilation database chore: Track dependencies between sources and headers May 1, 2025
@krlmlr
krlmlr merged commit 1a695f3 into main May 1, 2025
@krlmlr
krlmlr deleted the f-deps branch May 1, 2025 19:24
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators May 2, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant