ts26.4.2

What's Changed

• Adding dafney to toolshed image
• Stabilize merge-ts release job by removing unnecessary BuildKit bootstrap by @thirtytwobits with @Copilot in #66

New Contributors

• @thirtytwobits with @Copilot made their first contribution in #66

Full Changelog: ts26.4.1...ts26.4.2