[WIP] New hosts

This commit is contained in:
Andrea Ciceri 2022-10-08 17:37:56 +02:00
parent c40493fe2a
commit 6d8b757919
No known key found for this signature in database
GPG key ID: A1FC89532D1C5654
14 changed files with 632 additions and 63 deletions

View file

@ -38,3 +38,20 @@ jobs:
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
- run: nix --print-build-logs --verbose build --allow-import-from-derivation .#nixosConfigurations.thinkpad.config.system.build.toplevel
build-hs:
if: ${{ always() }}
needs: check
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v3
- uses: cachix/install-nix-action@v17
- uses: cachix/cachix-action@v10
with:
name: aciceri-fleet
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
- run: nix --print-build-logs --verbose build --allow-import-from-derivation .#nixosConfigurations.hs.config.system.build.toplevel