Skip to content

ci: notify tooling to update context on PR merge#236

Merged
bergkvist merged 1 commit into
mainfrom
tobias/succinct-update-context
Jul 6, 2026
Merged

ci: notify tooling to update context on PR merge#236
bergkvist merged 1 commit into
mainfrom
tobias/succinct-update-context

ci: notify tooling to update context on PR merge

ba780af
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar