runtest: do not try to load pyyaml when reporting is disabled

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

320 stars 49 forks source link

Closed strub closed 11 months ago

strub commented 11 months ago

Some external projects do not use the reporting option and do not have pyyaml installed in their CI.

strub commented 11 months ago

Jasmin check is expected to fail in this PR.