search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Adding everparse-cbor to check-world #3604

Closed mtzguido closed 1 week ago

mtzguido commented 2 weeks ago

cc @tahina-pro @msprotz. This got a green here https://github.com/mtzguido/FStar/actions/runs/11672559663

msprotz commented 2 weeks ago

Thanks Guido!

mtzguido commented 2 weeks ago

Note: this job will use the latest rust version (currently 1.82.0) every time. It can be configured by tweaking the parameters to the dtolnay/rust-toolchain action.

Tahina, if this looks good to you wanna hit the merge button?

mtzguido commented 1 week ago

I'll merge this, I don't see a downside really, but please let me know if I should tweak it somehow.