## Continuous integration

- Import from actions-sync, check carefully (#1600).

- Remove covr, handled elsewhere.

- Fix extra workflow.

- Remove noise.

- Sync workflows (#1589).