1.21.0.0

What's Changed

• Make 'paste' use spaces as delimiters: tabs confuse awk formatting by @kwxm in #5717
• PLT-8880 Dynamic Cek Machine Cost Parameters by @mjaskelioff in #5721
• Benchmarks for the Agda CEK machine (PLT-9187) by @kwxm in #5725
• Update repo links that moved to IntersectMBO by @bezirg in #5724
• Bump IOGX 2024-01-17 by @zeme-wana in #5727
• [Builtins] Expose 'BuiltinResult' by @effectfully in #5728
• chore(deps): bump tj-actions/changed-files from 41 to 42 by @dependabot in #5731
• cost-model-bench: Allow passing extra arguments by @shlevy in #5732
• [Refactoring] Use 'iso' instead of 'prism' by @effectfully in #5734
• add missing word by @lemmon-714 in #5737
• Release 1.21.0.0 by @kwxm in #5739
• Build all tasty tests with the threaded runtime and some capabilities by @michaelpj in #5740

New Contributors

• @lemmon-714 made their first contribution in #5737

Full Changelog: 1.20.0.0...1.21.0.0