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
Showing only changes of commit c3aa95b829 - Show all commits

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