Auto merge of #2789 - RalfJung:rustup, r=RalfJung

Rustup

Author: bors

.github/workflows/ci.yml

@@ -54,7 +54,7 @@ jobs:
             tidy: true
             os: ubuntu-20.04-xl
             env: {}
-          - name: x86_64-gnu-llvm-13
+          - name: x86_64-gnu-llvm-14
             tidy: false
             os: ubuntu-20.04-xl
             env: {}
@@ -300,11 +300,7 @@ jobs:
             env:
               RUST_BACKTRACE: 1
             os: ubuntu-20.04-xl
-          - name: x86_64-gnu-llvm-13
-            env:
-              RUST_BACKTRACE: 1
-            os: ubuntu-20.04-xl
-          - name: x86_64-gnu-llvm-13-stage1
+          - name: x86_64-gnu-llvm-14-stage1
             env:
               RUST_BACKTRACE: 1
             os: ubuntu-20.04-xl

.mailmap

@@ -419,18 +419,18 @@ Nixon Enraght-Moony <nixon.emoony@gmail.com>
 NODA Kai <nodakai@gmail.com>
 oliver <16816606+o752d@users.noreply.github.com>
 Oliver Middleton <olliemail27@gmail.com> <ollie27@users.noreply.github.com>
-Oliver Scherer <oliver.schneider@kit.edu> <git-spam-no-reply9815368754983@oli-obk.de>
-Oliver Scherer <oliver.schneider@kit.edu> <git-spam9815368754983@oli-obk.de>
-Oliver Scherer <oliver.schneider@kit.edu> <github333195615777966@oli-obk.de>
-Oliver Scherer <oliver.schneider@kit.edu> <rust19446194516@oli-obk.de>
-Oliver Scherer <oliver.schneider@kit.edu> <git-no-reply-9879165716479413131@oli-obk.de>
-Oliver Scherer <oliver.schneider@kit.edu> <git1984941651981@oli-obk.de>
-Oliver Scherer <oliver.schneider@kit.edu> <github35764891676564198441@oli-obk.de>
-Oliver Scherer <oliver.schneider@kit.edu> <github6541940@oli-obk.de>
-Oliver Scherer <oliver.schneider@kit.edu> <oli-obk@users.noreply.github.com>
-Oliver Scherer <oliver.schneider@kit.edu> <public.oliver.schneider@kit.edu>
-Oliver Scherer <oliver.schneider@kit.edu> <obk8176014uqher834@olio-obk.de>
-Oliver Scherer <oliver.schneider@kit.edu>
+Oliver Scherer <oli-obk@users.noreply.github.com> <git-spam-no-reply9815368754983@oli-obk.de>
+Oliver Scherer <oli-obk@users.noreply.github.com> <git-spam9815368754983@oli-obk.de>
+Oliver Scherer <oli-obk@users.noreply.github.com> <github333195615777966@oli-obk.de>
+Oliver Scherer <oli-obk@users.noreply.github.com> <rust19446194516@oli-obk.de>
+Oliver Scherer <oli-obk@users.noreply.github.com> <git-no-reply-9879165716479413131@oli-obk.de>
+Oliver Scherer <oli-obk@users.noreply.github.com> <git1984941651981@oli-obk.de>
+Oliver Scherer <oli-obk@users.noreply.github.com> <github35764891676564198441@oli-obk.de>
+Oliver Scherer <oli-obk@users.noreply.github.com> <github6541940@oli-obk.de>
+Oliver Scherer <oli-obk@users.noreply.github.com> <public.oliver.schneider@kit.edu>
+Oliver Scherer <oli-obk@users.noreply.github.com> <oliver.schneider@kit.edu>
+Oliver Scherer <oli-obk@users.noreply.github.com> <obk8176014uqher834@olio-obk.de>
+Oliver Scherer <oli-obk@users.noreply.github.com>
 Ömer Sinan Ağacan <omeragacan@gmail.com>
 Ophir LOJKINE <pere.jobs@gmail.com>
 Ožbolt Menegatti <ozbolt.menegatti@gmail.com> gareins <ozbolt.menegatti@gmail.com>