Mira Ressel 9544ec765d replace unused cargo-deny check with a new cargo-deny-licenses job (#13956) ...

* ci: remove the cargo-deny job

It's been broken and disabled for quite a while, and per internal
discussion there doesn't seem to be any interest in fixing it and
actually using the job output for anything.

* ci: add new cargo-deny-licenses job

It'll run on all PRs and fail if external dependencies with unsuitable
licenses are detected.

2023-04-20 14:03:05 +02:00

..

ci

replace unused cargo-deny check with a new cargo-deny-licenses job (#13956)

2023-04-20 14:03:05 +02:00

run_all_benchmarks.sh

Fixes PoV over-estimation (#13766)

2023-04-13 13:11:58 +00:00