fix: macos-12 runners deprecated #6664

Job	Run time
Test Verifier Crate	16m 30s
Test Verifier Crate	16m 30s
Test Verifier Crate	16m 30s
Test Verifier Crate	16m 30s
Test (x86-64)	22m 27s
Test (x86-64)	3m 47s
Test (x86-64)	6m 45s
Test (x86-64)	29m 20s
Build patches and zkvm in host	1m 3s
Build patches and zkvm in host	1m 3s
Build patches and zkvm in host	1m 3s
Build patches and zkvm in host	1m 3s
Cargo Check	5m 11s
Cargo Check	5m 11s
Cargo Check	5m 11s
Cargo Check	5m 11s
Check Verifier `no_std`	57s
Check Verifier `no_std`	57s
Check Verifier `no_std`	57s
Check Verifier `no_std`	57s
Examples	5m 36s
Examples	5m 36s
Examples	5m 36s
Examples	5m 36s
Check lock files	5m 48s
Check lock files	5m 48s
Check lock files	5m 48s
Check lock files	5m 48s
Test (ARM)	22m 23s
Test (ARM)	4m 8s
Test (ARM)	6m 53s
Test (ARM)	31m 59s
Formatting & Clippy	5m 12s
Formatting & Clippy	5m 12s
Formatting & Clippy	5m 12s
Formatting & Clippy	5m 12s
Spell Check	58s
Spell Check	58s
Spell Check	58s
Spell Check	58s
	4h 52m 42s

Provide feedback