Skip to content
Nix

chore(microkit): update 1.4.0 -> 1.4.1 #123

Sign in to view logs

chore(microkit): update 1.4.0 -> 1.4.1

chore(microkit): update 1.4.0 -> 1.4.1 #123

Workflow file for this run

.github/workflows/nix.yaml at e6c03d0
name: Nix
permissions:
contents: write
on:
pull_request: null
push:
branches:
- main
jobs:
x86_64-linux---packages---atf-aarch64-zcu102:
name: x86_64-linux---packages---atf-aarch64-zcu102
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.atf-aarch64-zcu102 --print-build-logs
x86_64-linux---packages---camkes-deps:
name: x86_64-linux---packages---camkes-deps
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---concurrencytest
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.camkes-deps --print-build-logs
x86_64-linux---packages---capDL-tool:
name: x86_64-linux---packages---capDL-tool
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.capDL-tool --print-build-logs
x86_64-linux---packages---concurrencytest:
name: x86_64-linux---packages---concurrencytest
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.concurrencytest --print-build-logs
x86_64-linux---packages---crossStdenvAarch64:
name: x86_64-linux---packages---crossStdenvAarch64
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.crossStdenvAarch64 --print-build-logs
x86_64-linux---packages---crossStdenvAarch64OldBintools:
name: x86_64-linux---packages---crossStdenvAarch64OldBintools
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.crossStdenvAarch64OldBintools --print-build-logs
x86_64-linux---packages---crossStdenvArmv7l:
name: x86_64-linux---packages---crossStdenvArmv7l
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.crossStdenvArmv7l --print-build-logs
x86_64-linux---packages---crossStdenvArmv7lOldBintools:
name: x86_64-linux---packages---crossStdenvArmv7lOldBintools
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.crossStdenvArmv7lOldBintools --print-build-logs
x86_64-linux---packages---crossStdenvi686:
name: x86_64-linux---packages---crossStdenvi686
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.crossStdenvi686 --print-build-logs
x86_64-linux---packages---crossStdenvx86_64:
name: x86_64-linux---packages---crossStdenvx86_64
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.crossStdenvx86_64 --print-build-logs
x86_64-linux---packages---guardonce:
name: x86_64-linux---packages---guardonce
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.guardonce --print-build-logs
x86_64-linux---packages---microkit-sdk:
name: x86_64-linux---packages---microkit-sdk
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---pyfdt
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.microkit-sdk --print-build-logs
x86_64-linux---packages---pmufw-mblaze-zcu102:
name: x86_64-linux---packages---pmufw-mblaze-zcu102
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.pmufw-mblaze-zcu102 --print-build-logs
x86_64-linux---packages---pyfdt:
name: x86_64-linux---packages---pyfdt
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.pyfdt --print-build-logs
x86_64-linux---packages---sd-aarch64-rpi4:
name: x86_64-linux---packages---sd-aarch64-rpi4
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---uboot-aarch64-rpi4
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.sd-aarch64-rpi4 --print-build-logs
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt:
name: x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---camkes-deps
- x86_64-linux---packages---capDL-tool
- x86_64-linux---packages---concurrencytest
- x86_64-linux---packages---crossStdenvAarch64OldBintools
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-camkes-vm-examples-aarch64-qemu-arm-virt --print-build-logs
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1:
name: x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---camkes-deps
- x86_64-linux---packages---capDL-tool
- x86_64-linux---packages---concurrencytest
- x86_64-linux---packages---crossStdenvAarch64OldBintools
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-camkes-vm-examples-aarch64-tx1 --print-build-logs
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2:
name: x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---camkes-deps
- x86_64-linux---packages---capDL-tool
- x86_64-linux---packages---concurrencytest
- x86_64-linux---packages---crossStdenvAarch64OldBintools
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-camkes-vm-examples-aarch64-tx2 --print-build-logs
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102:
name: x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---camkes-deps
- x86_64-linux---packages---capDL-tool
- x86_64-linux---packages---concurrencytest
- x86_64-linux---packages---crossStdenvAarch64OldBintools
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-camkes-vm-examples-aarch64-zcu102 --print-build-logs
x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422:
name: x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---camkes-deps
- x86_64-linux---packages---capDL-tool
- x86_64-linux---packages---concurrencytest
- x86_64-linux---packages---crossStdenvArmv7lOldBintools
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-camkes-vm-examples-armv7l-exynos5422 --print-build-logs
x86_64-linux---packages---seL4-deps:
name: x86_64-linux---packages---seL4-deps
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-deps --print-build-logs
x86_64-linux---packages---seL4-kernel-arm:
name: x86_64-linux---packages---seL4-kernel-arm
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-kernel-arm --print-build-logs
x86_64-linux---packages---seL4-kernel-arm-hyp:
name: x86_64-linux---packages---seL4-kernel-arm-hyp
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-kernel-arm-hyp --print-build-logs
x86_64-linux---packages---seL4-kernel-arm-mcs:
name: x86_64-linux---packages---seL4-kernel-arm-mcs
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-kernel-arm-mcs --print-build-logs
x86_64-linux---packages---seL4-kernel-riscv64:
name: x86_64-linux---packages---seL4-kernel-riscv64
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-kernel-riscv64 --print-build-logs
x86_64-linux---packages---seL4-kernel-riscv64-mcs:
name: x86_64-linux---packages---seL4-kernel-riscv64-mcs
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-kernel-riscv64-mcs --print-build-logs
x86_64-linux---packages---seL4-kernel-x64:
name: x86_64-linux---packages---seL4-kernel-x64
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-kernel-x64 --print-build-logs
x86_64-linux---packages---seL4-moritz-fork-arm:
name: x86_64-linux---packages---seL4-moritz-fork-arm
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-moritz-fork-arm --print-build-logs
x86_64-linux---packages---seL4-moritz-fork-arm-hyp:
name: x86_64-linux---packages---seL4-moritz-fork-arm-hyp
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-moritz-fork-arm-hyp --print-build-logs
x86_64-linux---packages---seL4-moritz-fork-arm-mcs:
name: x86_64-linux---packages---seL4-moritz-fork-arm-mcs
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-moritz-fork-arm-mcs --print-build-logs
x86_64-linux---packages---seL4-moritz-fork-x64:
name: x86_64-linux---packages---seL4-moritz-fork-x64
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-moritz-fork-x64 --print-build-logs
x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk:
name: x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvAarch64
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-aarch64-imx8mq-evk --print-build-logs
x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB:
name: x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvAarch64
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-aarch64-rpi4-1GB --print-build-logs
x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB:
name: x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvAarch64
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-aarch64-rpi4-2GB --print-build-logs
x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB:
name: x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvAarch64
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-aarch64-rpi4-4GB --print-build-logs
x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB:
name: x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvAarch64
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-aarch64-rpi4-8GB --print-build-logs
x86_64-linux---packages---seL4-test-aarch64-zcu102:
name: x86_64-linux---packages---seL4-test-aarch64-zcu102
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvAarch64
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-aarch64-zcu102 --print-build-logs
x86_64-linux---packages---seL4-test-armv7l-rpi3:
name: x86_64-linux---packages---seL4-test-armv7l-rpi3
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvArmv7l
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-armv7l-rpi3 --print-build-logs
x86_64-linux---packages---seL4-test-armv7l-zynq7000:
name: x86_64-linux---packages---seL4-test-armv7l-zynq7000
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvArmv7l
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-armv7l-zynq7000 --print-build-logs
x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate:
name: x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvArmv7l
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-armv7l-zynq7000-simulate --print-build-logs
x86_64-linux---packages---seL4-test-i686-ia32:
name: x86_64-linux---packages---seL4-test-i686-ia32
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvi686
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-i686-ia32 --print-build-logs
x86_64-linux---packages---seL4-test-i686-ia32-simulate:
name: x86_64-linux---packages---seL4-test-i686-ia32-simulate
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvi686
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-i686-ia32-simulate --print-build-logs
x86_64-linux---packages---seL4-test-x86_64-x86_64:
name: x86_64-linux---packages---seL4-test-x86_64-x86_64
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvx86_64
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-x86_64-x86_64 --print-build-logs
x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate:
name: x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---crossStdenvx86_64
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.seL4-test-x86_64-x86_64-simulate --print-build-logs
x86_64-linux---packages---uboot-aarch64-rpi4:
name: x86_64-linux---packages---uboot-aarch64-rpi4
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.uboot-aarch64-rpi4 --print-build-logs
x86_64-linux---packages---uboot-aarch64-zcu102:
name: x86_64-linux---packages---uboot-aarch64-zcu102
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.uboot-aarch64-zcu102 --print-build-logs
x86_64-linux---packages---uboot-armv7l-zynq-zc702:
name: x86_64-linux---packages---uboot-armv7l-zynq-zc702
runs-on:
- ubuntu-latest
needs: []
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#packages.x86_64-linux.uboot-armv7l-zynq-zc702 --print-build-logs
x86_64-linux---devShells---default:
name: x86_64-linux---devShells---default
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---camkes-deps
- x86_64-linux---packages---concurrencytest
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#devShells.x86_64-linux.default --print-build-logs
x86_64-linux---devShells---microkit:
name: x86_64-linux---devShells---microkit
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---microkit-sdk
- x86_64-linux---packages---pyfdt
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#devShells.x86_64-linux.microkit --print-build-logs
x86_64-linux---checks---treefmt:
name: x86_64-linux---checks---treefmt
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---packages---camkes-deps
- x86_64-linux---packages---concurrencytest
- x86_64-linux---packages---guardonce
- x86_64-linux---packages---pyfdt
- x86_64-linux---packages---seL4-deps
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Build
run: nix build .#checks.x86_64-linux.treefmt --print-build-logs
x86_64-linux---check:
name: Check on x86_64-linux
runs-on:
- ubuntu-latest
needs:
- x86_64-linux---checks---treefmt
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v25
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: cachix/cachix-action@v14
with:
name: dlr-ft
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Check
run: nix flake check . --print-build-logs