Merge remote-tracking branch 'github/main'

This commit is contained in:
Benjamin Bädorf 2023-06-11 21:49:56 +02:00
commit 2eaefe0b94
No known key found for this signature in database
GPG key ID: 4406E80E13CD656C

View file

@ -12,7 +12,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: cachix/install-nix-action@v18
- uses: cachix/install-nix-action@v20
- uses: cachix/cachix-action@v12
with:
name: sno2wman
@ -24,7 +24,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: cachix/install-nix-action@v18
- uses: cachix/install-nix-action@v20
- uses: cachix/cachix-action@v12
with:
name: sno2wman