diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-06-29 04:44:25 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-06-29 04:44:25 +0800 |
| commit | 1acf750860422567732557f7382d91b0d1a50d15 (patch) | |
| tree | 3e442e28f87b2028563cdf20dd31cb6c2820965a /.github | |
| parent | 07bf5bb372fc94f346b039ad9eecfb64c8a1ff46 (diff) | |
feat(verify): support build-time Rust code blocks in markdown tests
Handle code blocks annotated with `// BUILD TIME` by generating a
`build.rs` instead of `src/main.rs`, adding `mingling` as a build
dependency with the `builds` feature, and writing a stub main.rs
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions