Skip to content

Conversation

zowoq
Copy link
Contributor

@zowoq zowoq commented May 12, 2025

})
];
})
{ buildbot, fetchpatch }: buildbot
Copy link
Member

Choose a reason for hiding this comment

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

Could you add a version assertion here since we depend on a new buildbot version here.

@zowoq
Copy link
Contributor Author

zowoq commented Aug 2, 2025

@Mic92 You'll need to deal with the mypy fixes for this, I gave up on it.

@Mic92 Mic92 force-pushed the buildbot43 branch 3 times, most recently from d03aa42 to 98737a5 Compare August 20, 2025 21:17
@Mic92
Copy link
Member

Mic92 commented Aug 20, 2025

@Mic92 You'll need to deal with the mypy fixes for this, I gave up on it.

Done.

@zowoq
Copy link
Contributor Author

zowoq commented Aug 20, 2025

Thanks!

@zowoq
Copy link
Contributor Author

zowoq commented Aug 26, 2025

4.3 is now in nixos-unstable.

@zowoq zowoq added this pull request to the merge queue Aug 26, 2025
Merged via the queue into main with commit 5ce904e Aug 26, 2025
2 checks passed
@zowoq zowoq deleted the buildbot43 branch August 26, 2025 05:22
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.

2 participants