Merge pull request 'main' (#22) from main into Georg-Stahn-georgs

Reviewed-on: #22
This commit was merged in pull request #22.
This commit is contained in:
Georg-Stahn
2023-12-01 15:40:43 +01:00

View File

@@ -9,4 +9,4 @@ jobs:
runs-on: nix
steps:
- uses: actions/checkout@v3
- run: nix run --refresh github:Mic92/nix-fast-build -- --no-nom
- run: nix run --refresh github:Mic92/nix-fast-build -- --no-nom --eval-workers 8