From 406e36ba8d8fa1c2c2eafb99495a47867b7f7567 Mon Sep 17 00:00:00 2001 From: Jim Huang Date: Fri, 26 Jan 2024 12:12:57 +0800 Subject: [PATCH] Prefer Kirby My daughter has a preference for Kirby instead of Pikachu. Therefore, I choose Kirby for the visual notification. --- .github/workflows/main.yml | 9 ++++----- scripts/kirby.raw | 25 +++++++++++++++++++++++++ scripts/pikachu.raw | 19 ------------------- 3 files changed, 29 insertions(+), 24 deletions(-) create mode 100644 scripts/kirby.raw delete mode 100644 scripts/pikachu.raw diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6ed0b936e..4a0fe4132 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -6,7 +6,7 @@ jobs: lab0-c: runs-on: ubuntu-22.04 steps: - - uses: actions/checkout@v3.3.0 + - uses: actions/checkout@v4 - uses: webfactory/ssh-agent@v0.7.0 continue-on-error: true with: @@ -24,19 +24,18 @@ jobs: - name: make check run: | make check || (cat scripts/weeping.raw ; exit 1) - cat scripts/pikachu.raw + cat scripts/kirby.raw - name: make test run: | make test || (cat scripts/weeping.raw ; exit 1) - cat scripts/pikachu.raw + cat scripts/kirby.raw coding-style: runs-on: ubuntu-22.04 steps: - - uses: actions/checkout@v3.3.0 + - uses: actions/checkout@v4 - name: coding convention run: | sudo apt-get install -q -y clang-format-14 sh .ci/check-format.sh - cat scripts/pikachu.raw shell: bash diff --git a/scripts/kirby.raw b/scripts/kirby.raw new file mode 100644 index 000000000..cea44ef75 --- /dev/null +++ b/scripts/kirby.raw @@ -0,0 +1,25 @@ +[?25l ⎽⎺⎺⎺⎺⎺⎻⎻⎼⎺⎼⎼⎺⎺⎽⎽⎽  + ⎽⎽⎽⎽⎽⎽⎽⎽ ⎽⎺⎺⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎽  + ⎺⎼⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎽⎽⎽⎽⎽⎽⎽⎺⎺⎽  + ⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎻⎺⎽⎻⎽⎽⎽⎽⎽⎺⎺⎽⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎻⎼⎻⎻⎺⎻⎺⎺⎺⎽  +⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎽⎽⎺⎽⎽⎽⎽⎽⎼⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎽  +⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎽⎽⎽⎻⎽⎽⎽⎽⎽⎺⎽⎽⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺  + ⎽⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎽⎽⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎻ + ⎽⎽⎺⎽⎽⎽⎽⎽⎺⎼⎼⎼⎽⎺⎽⎽⎽⎽⎽⎽⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎺⎺ + ⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎺⎽⎽⎽⎽⎽⎽⎼⎺⎺⎺⎽⎽⎺⎽⎽⎽⎼⎻⎺⎼⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎽⎺⎽⎼⎽  + ⎺⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎺⎺⎽⎽⎽⎽⎽⎻⎽⎺⎺⎺⎺⎽⎺⎽⎽⎽⎽⎺⎽⎺⎼⎽⎽⎽⎺⎽⎽⎽⎽⎽⎽⎺⎽⎽⎽⎽⎽⎻⎽⎺  + ⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎽⎻⎽⎽⎺⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎽⎽⎽⎽⎺  + ⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎽⎼⎺  + ⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎻⎽⎺⎺  + ⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎽⎼⎽⎽⎽⎽⎽⎺⎺  + ⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎽⎻⎽⎽⎽⎽⎽⎽⎽⎽⎺⎽  + ⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎽⎺⎺⎻⎽⎽⎽⎽⎽⎽⎽⎽⎺⎽⎻  + ⎽⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎽⎽⎽⎽⎺⎽⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽  + ⎽⎺⎽⎺⎺⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎽⎽⎽⎽⎽⎼⎻⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽  + ⎻⎽⎽⎺⎽⎽⎺⎺⎽⎽⎽⎽⎽⎺⎽⎽⎽⎽⎽⎺⎺⎺⎽⎽⎽⎽⎽⎺⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺  + ⎽⎽⎽⎽⎽⎽⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺⎺⎺⎻⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺  + ⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽ ⎺⎺⎺⎺  + ⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽  + ⎺⎽⎽⎽⎽⎽⎽⎽⎽⎽⎽⎺  + ⎽⎼⎽⎽⎽⎽⎽⎺  +[?25h \ No newline at end of file diff --git a/scripts/pikachu.raw b/scripts/pikachu.raw deleted file mode 100644 index 31d3b2764..000000000 --- a/scripts/pikachu.raw +++ /dev/null @@ -1,19 +0,0 @@ - ▍▃  - ▍▃▅  - ▊╷▘▝ ▂▀▆▍╌▘  - ╹╷▔▖ ▃▅╷╷▁▗▘ ▁▁  - ▝▖│▝▀▅▆▆▅▅▆▆▅╷▁▂▀ ▁▂▃▀▅▀▔▃▔▗  - ▍▝▆╷╷╷╷╷╷╷╷╷▝▍ ▂▃▅▆▅╷╷╷╷╷╷╷╷▗  - ▕┢╷╷╷╷╷╷╷╷▂▂▁▋▝ ▋▔▃▃▃▃▃▃▃▃▃▃▂▂▁▘  - ▏▗▖▃▅╷╸╷┫┗▘▋▁╷▃▀▆▔╋▍╷╷╷╷╷╷╷╷╷╷▗  - ▆▅▀▃▎▝▃▘╷▁▂▂▂▖╷▗▔▃▋╷╷╷▗▘╷▂▂▃▀▀▅▅▆▆  - ▝▖╷╷╷▌▗▖▝▝▗▅▃▃▎╷▝▀▀▘╷╷▗▖╷╷▎  - ▅▂╷▝▅▘╷╷▝▂▂▗┋╷▀┏▅╷▗▘▁▋╷╷▎  - ▆▀▂▖▔╷▝╷━▅━╷╷╷▗▃▌▔╊▂▂▃▘  - ▅▖▁▏╷╷╷╷╷╷╷╷╷╷▝▅▝▀▀▖  - ▊▆╿▔╷▆╷╷╷╷╷╷╷╷╷╷╷▌▘╷▊  - ▖╷╷╷╷╷╷╷╷╷╷╷╷╷╷╷▝╺▔  - ▝▃╷▀▀▃▃▂▁─╷╷╷╷╷╷▋▋  - ▆▅▀▀▃▂▁▅▃▁╷╷▁▂▘  - ▆▅▀▖━▌  - ▃▊