Skip to content

remove old ci - #169

Merged
arrilot merged 1 commit into
masterfrom
12-21-remove_old_ci
Dec 21, 2025
Merged

arrilot merged 1 commit into
masterfrom
12-21-remove_old_ci

Conversation

@arrilot

@arrilot arrilot commented Dec 21, 2025

Copy link
Copy Markdown
Owner

No description provided.

@arrilot
arrilot marked this pull request as ready for review December 21, 2025 14:00

arrilot commented Dec 21, 2025 •

Copy link
Copy Markdown
Owner Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

This was referenced Dec 21, 2025

arrilot commented Dec 21, 2025 •

Copy link
Copy Markdown
Owner Author

Merge activity

  • Dec 21, 2:27 PM UTC: A user started a stack merge that includes this pull request via Graphite.
  • Dec 21, 2:28 PM UTC: Graphite rebased this pull request as part of a merge.
  • Dec 21, 2:29 PM UTC: @arrilot merged this pull request with Graphite.

@arrilot
arrilot changed the base branch from 12-21-update_dependencies to graphite-base/169 December 21, 2025 14:27
@arrilot
arrilot changed the base branch from graphite-base/169 to master December 21, 2025 14:27
@arrilot
arrilot force-pushed the 12-21-remove_old_ci branch from c172ae8 to b19018e Compare December 21, 2025 14:28
@arrilot
arrilot merged commit dfaa34c into master Dec 21, 2025
3 checks passed
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