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
name: check
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
- run: shellcheck *.sh monitoring/*.sh

View File