-
Notifications
You must be signed in to change notification settings - Fork 86
add a3-rust workflow to generate verification output from Halley Young's Rust checker#647
Open
NikolajBjorner wants to merge 1 commit intomicrosoft:main from
Open
add a3-rust workflow to generate verification output from Halley Young's Rust checker #647NikolajBjorner wants to merge 1 commit intomicrosoft:main from
NikolajBjorner wants to merge 1 commit intomicrosoft:main from