CI: `examples`: use stable Rust, not nightly

[W95Psp]

The CI builds (?), extracts with hax and verify the crates in the folder examples.
However, it cargo check with the ambiant Rust available on CI, which is not stable Rust, but the nightly hax pins.

To avoid breakages related to nightly VS stable (i.e. recently #1394), we should make the CI cargo check with a stable toolchain.

[github-actions]

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.

[github-actions]

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.