Verify `Number` with Verus #2212

	# Copyright (c) Microsoft Corporation. All rights reserved.
	#
	name: bindings/c-cpp

	on:
	push:
	branches: [ "main" ]
	pull_request:
	branches: [ "main" ]
	schedule:
	# Run at 8:00 AM every day
	- cron: "0 8 * * *"

	jobs:
	test:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
	with:
	fetch-depth: 0

	- uses: ./.github/actions/toolchains/rust
	- name: Cache cargo
	uses: Swatinem/rust-cache@c19371144df3bb44fab255c43d04cbc2ab54d1c4 # v2.9.1
	with:
	shared-key: ${{ runner.os }}-regorus
	- name: Fetch dependencies
	run: cargo fetch --locked

	- name: Fetch FFI crate dependencies
	run: cargo fetch --locked --manifest-path bindings/ffi/Cargo.toml

	- name: Setup gcc, g++, cmake, ninja
	run: sudo apt update && sudo apt install -y gcc g++ cmake ninja-build

	- name: Test C binding via xtask
	run: cargo xtask test-c --release --frozen

	- name: Test C (no-std) binding via xtask
	run: cargo xtask test-c-nostd --release --frozen --skip-ffi

	- name: Test C++ binding via xtask
	run: cargo xtask test-cpp --release --frozen --skip-ffi

Provide feedback