Merge pull request #1104 from yutkat/dev

Update CI

.github/scripts/archive_check.sh

@@ -1,9 +1,8 @@
 #!/bin/bash
 
-filename="/tmp/repos.txt"
+filename="$1"
 output="archived_check_list.txt"
 lines_per_chunk=100
-grep '](https://github.com' [a-z]*.md | sed -re 's/^.*\]\(https:\/\/github.com\/([^\)]*).*/\1/' > $filename
 
 if [ -e "$output" ]; then
 	rm "$output"

.github/workflows/lint.yml

@@ -18,7 +18,8 @@ jobs:
           apt update
           apt-get install -y gh jq ca-certificates curl
       - run: >
-          ./.github/scripts/archive_check.sh
+          grep '](https://github.com' [a-z]*.md | sed -re 's/^.*\]\(https:\/\/github.com\/([^\)]*).*/\1/' > /tmp/repos.txt
+          ./.github/scripts/archive_check.sh /tmp/repos.txt
         env:
           GH_TOKEN: ${{ secrets.PERSONAL_ACCESS_TOKEN }}
       - run: >