Alice RyhlandBlas Rodriguez Irizar 2b96b1773d ci: update nightly and fix all sorts of new failures (#2852) ...

* ci: update miri flags

* ci: fix doc warnings

* doc: fix some links

Cherry-pick of 18ed761 from #2834

* ci: cherry-pick 00a2849

From: #2793

* ci: cherry-pick 6b61212

From: #2793

Co-authored-by: Blas Rodriguez Irizar <[email protected]>

2020-09-21 18:57:27 +02:00

..

ISSUE_TEMPLATE

github: update issue templates (#2552)

2020-05-21 09:45:27 +02:00

workflows

ci: update nightly and fix all sorts of new failures (#2852)

2020-09-21 18:57:27 +02:00

PULL_REQUEST_TEMPLATE.md

github: update issue templates (#2552)

2020-05-21 09:45:27 +02:00