GitHub Actions: Live ISO

This commit is contained in:
Mikhail Klementev 2020-01-05 06:29:26 +00:00
parent 6536200669
commit cead5bab74
No known key found for this signature in database
GPG key ID: BE44DA8C062D87DC

View file

@ -31,3 +31,20 @@ jobs:
run: | run: |
. ~/.nix-profile/etc/profile.d/nix.sh . ~/.nix-profile/etc/profile.d/nix.sh
make nix make nix
live-iso:
name: Live ISO
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- name: Install Nix
run: |
curl https://nixos.org/nix/install | sh
. ~/.nix-profile/etc/profile.d/nix.sh
nix-channel --update
- name: Generate Live ISO
run: |
. ~/.nix-profile/etc/profile.d/nix.sh
make -C os live-iso