add new GitHub signing key (B5690EEEBB952194) #43
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --- | |
| name: test | |
| "on": push | |
| permissions: | |
| contents: read | |
| jobs: | |
| test: | |
| runs-on: [ubuntu-latest] | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| - name: Import Github web-flow Key | |
| run: curl https://github.com/web-flow.gpg | gpg --import | |
| # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | |
| # Test (local GPG) | |
| # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | |
| - name: Check duplicates / missing keys [superfluous signatures] | |
| run: | | |
| SIGS=$(make check/only-self-sigs 2>&1) | |
| echo "$SIGS" | |
| SUP_SIGS=$(echo "$SIGS" | grep "signatures not checked due to missing keys" | wc -l) | |
| [ $SUP_SIGS = 0 ] | |
| - name: Install (local) | |
| run: make install retired | |
| - name: Install (GitHub GPG) [Check for matching signatures] | |
| run: make github/install | |
| - name: Remove (local) | |
| run: make uninstall |