update_ci_and_friends #11

Merged
n merged 2 commits from update_ci_and_friends into main 2024-02-03 22:29:50 +01:00
2 changed files with 1 additions and 1 deletions

View file

@ -5,5 +5,5 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
name: check name: check
steps: steps:
- uses: actions/checkout@v3 - uses: actions/checkout@v4
- run: shellcheck *.sh monitoring/*.sh - run: shellcheck *.sh monitoring/*.sh

View file