hax `cargo-hax`: add a `--single-file` to `cargo hax`

--single-flag should be incompatible with -C and will use the rustc custom driver directly, without cargo

Thanks @Nadrieril for the idea :)

Oct 24 '24 16:10 W95Psp

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

Dec 24 '24 02:12 github-actions[bot]

This issue has been closed due to a lack of activity since being marked as stale. If you believe this issue is still relevant, please reopen it with an update or comment.

Jan 02 '25 01:01 github-actions[bot]

Still useful

Jul 03 '25 06:07 W95Psp

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

Oct 16 '25 00:10 github-actions[bot]