Skip to content

Conversation

@purcell
Copy link
Member

@purcell purcell commented Feb 4, 2025

See #3606.

@purcell
Copy link
Member Author

purcell commented Feb 4, 2025

Seems okay, but I'll refrain from merging this myself.

@bbatsov bbatsov merged commit e905618 into master Feb 14, 2025
45 checks passed
@bbatsov bbatsov deleted the emacs-head-in-ci branch February 14, 2025 08:56
@bbatsov
Copy link
Member

bbatsov commented Feb 14, 2025

I thought we had the HEAD in the CI, but we probably removed it while it was causing some issues in the past. Thanks!

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