Skip to content

Conversation

@squidfunk
Copy link
Contributor

Fixes #3728.

@squidfunk
Copy link
Contributor Author

Not sure why the build fails. If it's related to my changes, let me know.

Copy link
Contributor

@pawamoy pawamoy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If it's related to my changes, let me know.

Doesn't look like it.


Thanks!

@lovelydinosaur
Copy link
Member

Doesn't look like it.

Eh... yeah resolved now.

Is it worth us bringing this up to date with master just to make sure we're keeping the builds clean?

@squidfunk
Copy link
Contributor Author

Is it worth us bringing this up to date with master just to make sure we're keeping the builds clean?

I'm not sure I understand. What do you mean by clean? This PR is safe to merge regardless of #3730 (if that was your question), as both PRs fix unrelated things, and do not affect each other in any way.

@pawamoy
Copy link
Contributor

pawamoy commented Jun 21, 2024

I think @tomchristie meant to merge master / rebase on master to get the CI fix in this PR.

@squidfunk squidfunk closed this by deleting the head repository Jul 17, 2024
@lovelydinosaur
Copy link
Member

I think @tomchristie meant to merge master / rebase on master to get the CI fix in this PR

Exactly, yes.

@squidfunk
Copy link
Contributor Author

This PR was accidentally deleted. Please see #3787.

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.

Default theme: N and P keys no longer work

3 participants