Skip to content
Nix

refactor: remove need for oldBintools #175

Sign in to view logs

refactor: remove need for oldBintools

refactor: remove need for oldBintools #175

Workflow file for this run

.github/workflows/nix.yaml at 94afeae
name: Nix
permissions:
contents: write
on:
pull_request: null
push:
branches:
- main
jobs:
atf-aarch64-zcu102---packages---x86_64-linux:
name: atf-aarch64-zcu102---packages---x86_64-linux
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
camkes-deps---packages---x86_64-linux:
name: camkes-deps---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- concurrencytest---packages---x86_64-linux
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
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
capDL-tool---packages---x86_64-linux:
name: capDL-tool---packages---x86_64-linux
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
concurrencytest---packages---x86_64-linux:
name: concurrencytest---packages---x86_64-linux
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
guardonce---packages---x86_64-linux:
name: guardonce---packages---x86_64-linux
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
linux-aarch64---packages---x86_64-linux:
name: linux-aarch64---packages---x86_64-linux
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.linux-aarch64 --print-build-logs
microkit-sdk---packages---x86_64-linux:
name: microkit-sdk---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- pyfdt---packages---x86_64-linux
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
pmufw-mblaze-zcu102---packages---x86_64-linux:
name: pmufw-mblaze-zcu102---packages---x86_64-linux
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
pyfdt---packages---x86_64-linux:
name: pyfdt---packages---x86_64-linux
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
sd-aarch64-rpi4---packages---x86_64-linux:
name: sd-aarch64-rpi4---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- uboot-aarch64-rpi4---packages---x86_64-linux
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
seL4-camkes-vm-examples-aarch64-qemu-arm-virt---packages---x86_64-linux:
name: seL4-camkes-vm-examples-aarch64-qemu-arm-virt---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- camkes-deps---packages---x86_64-linux
- capDL-tool---packages---x86_64-linux
- concurrencytest---packages---x86_64-linux
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-aarch64-elf---packages---x86_64-linux
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
seL4-camkes-vm-examples-aarch64-tx1---packages---x86_64-linux:
name: seL4-camkes-vm-examples-aarch64-tx1---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- camkes-deps---packages---x86_64-linux
- capDL-tool---packages---x86_64-linux
- concurrencytest---packages---x86_64-linux
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-aarch64-elf---packages---x86_64-linux
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
seL4-camkes-vm-examples-aarch64-tx2---packages---x86_64-linux:
name: seL4-camkes-vm-examples-aarch64-tx2---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- camkes-deps---packages---x86_64-linux
- capDL-tool---packages---x86_64-linux
- concurrencytest---packages---x86_64-linux
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-aarch64-elf---packages---x86_64-linux
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
seL4-camkes-vm-examples-aarch64-zcu102---packages---x86_64-linux:
name: seL4-camkes-vm-examples-aarch64-zcu102---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- camkes-deps---packages---x86_64-linux
- capDL-tool---packages---x86_64-linux
- concurrencytest---packages---x86_64-linux
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-aarch64-elf---packages---x86_64-linux
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
seL4-camkes-vm-examples-armv7l-exynos5422---packages---x86_64-linux:
name: seL4-camkes-vm-examples-armv7l-exynos5422---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- camkes-deps---packages---x86_64-linux
- capDL-tool---packages---x86_64-linux
- concurrencytest---packages---x86_64-linux
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-armv7l-eabihf---packages---x86_64-linux
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
seL4-deps---packages---x86_64-linux:
name: seL4-deps---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
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
seL4-kernel-aarch64---packages---x86_64-linux:
name: seL4-kernel-aarch64---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
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-aarch64 --print-build-logs
seL4-kernel-arm---packages---x86_64-linux:
name: seL4-kernel-arm---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
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
seL4-kernel-arm-hyp---packages---x86_64-linux:
name: seL4-kernel-arm-hyp---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
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
seL4-kernel-arm-hyp-exynos5---packages---x86_64-linux:
name: seL4-kernel-arm-hyp-exynos5---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
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-exynos5 --print-build-logs
seL4-kernel-arm-imx8mm---packages---x86_64-linux:
name: seL4-kernel-arm-imx8mm---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
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-imx8mm --print-build-logs
seL4-kernel-arm-mcs---packages---x86_64-linux:
name: seL4-kernel-arm-mcs---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
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
seL4-kernel-riscv64-elf---packages---x86_64-linux:
name: seL4-kernel-riscv64-elf---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
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-elf --print-build-logs
seL4-kernel-riscv64-mcs---packages---x86_64-linux:
name: seL4-kernel-riscv64-mcs---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
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
seL4-kernel-x64---packages---x86_64-linux:
name: seL4-kernel-x64---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
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
seL4-test-aarch64-imx8mq-evk---packages---x86_64-linux:
name: seL4-test-aarch64-imx8mq-evk---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-aarch64-elf---packages---x86_64-linux
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
seL4-test-aarch64-rpi4-1GB---packages---x86_64-linux:
name: seL4-test-aarch64-rpi4-1GB---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-aarch64-elf---packages---x86_64-linux
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
seL4-test-aarch64-rpi4-2GB---packages---x86_64-linux:
name: seL4-test-aarch64-rpi4-2GB---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-aarch64-elf---packages---x86_64-linux
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
seL4-test-aarch64-rpi4-4GB---packages---x86_64-linux:
name: seL4-test-aarch64-rpi4-4GB---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-aarch64-elf---packages---x86_64-linux
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
seL4-test-aarch64-rpi4-8GB---packages---x86_64-linux:
name: seL4-test-aarch64-rpi4-8GB---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-aarch64-elf---packages---x86_64-linux
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
seL4-test-aarch64-zcu102---packages---x86_64-linux:
name: seL4-test-aarch64-zcu102---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-aarch64-elf---packages---x86_64-linux
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
seL4-test-armv7l-rpi3---packages---x86_64-linux:
name: seL4-test-armv7l-rpi3---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-armv7l-eabihf---packages---x86_64-linux
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
seL4-test-armv7l-zynq7000---packages---x86_64-linux:
name: seL4-test-armv7l-zynq7000---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-armv7l-eabihf---packages---x86_64-linux
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
seL4-test-armv7l-zynq7000-simulate---packages---x86_64-linux:
name: seL4-test-armv7l-zynq7000-simulate---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-armv7l-eabihf---packages---x86_64-linux
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
seL4-test-i686-ia32---packages---x86_64-linux:
name: seL4-test-i686-ia32---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-i686-elf---packages---x86_64-linux
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
seL4-test-i686-ia32-simulate---packages---x86_64-linux:
name: seL4-test-i686-ia32-simulate---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-i686-elf---packages---x86_64-linux
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
seL4-test-riscv32-spike---packages---x86_64-linux:
name: seL4-test-riscv32-spike---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-riscv32-elf---packages---x86_64-linux
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-riscv32-spike --print-build-logs
seL4-test-x86_64-x86_64---packages---x86_64-linux:
name: seL4-test-x86_64-x86_64---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-x86_64-elf---packages---x86_64-linux
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
seL4-test-x86_64-x86_64-simulate---packages---x86_64-linux:
name: seL4-test-x86_64-x86_64-simulate---packages---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
- toolchain-x86_64-elf---packages---x86_64-linux
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
toolchain-aarch64-elf---packages---x86_64-linux:
name: toolchain-aarch64-elf---packages---x86_64-linux
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.toolchain-aarch64-elf --print-build-logs
toolchain-aarch64-linux---packages---x86_64-linux:
name: toolchain-aarch64-linux---packages---x86_64-linux
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.toolchain-aarch64-linux --print-build-logs
toolchain-armv7l-eabihf---packages---x86_64-linux:
name: toolchain-armv7l-eabihf---packages---x86_64-linux
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.toolchain-armv7l-eabihf --print-build-logs
toolchain-armv7l-linux---packages---x86_64-linux:
name: toolchain-armv7l-linux---packages---x86_64-linux
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.toolchain-armv7l-linux --print-build-logs
toolchain-i686-elf---packages---x86_64-linux:
name: toolchain-i686-elf---packages---x86_64-linux
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.toolchain-i686-elf --print-build-logs
toolchain-riscv32-elf---packages---x86_64-linux:
name: toolchain-riscv32-elf---packages---x86_64-linux
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.toolchain-riscv32-elf --print-build-logs
toolchain-riscv64-elf---packages---x86_64-linux:
name: toolchain-riscv64-elf---packages---x86_64-linux
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.toolchain-riscv64-elf --print-build-logs
toolchain-x86_64-elf---packages---x86_64-linux:
name: toolchain-x86_64-elf---packages---x86_64-linux
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.toolchain-x86_64-elf --print-build-logs
uboot-aarch64-rpi4---packages---x86_64-linux:
name: uboot-aarch64-rpi4---packages---x86_64-linux
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
uboot-aarch64-zcu102---packages---x86_64-linux:
name: uboot-aarch64-zcu102---packages---x86_64-linux
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
uboot-armv7l-zynq-zc702---packages---x86_64-linux:
name: uboot-armv7l-zynq-zc702---packages---x86_64-linux
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
default---devShells---x86_64-linux:
name: default---devShells---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- camkes-deps---packages---x86_64-linux
- concurrencytest---packages---x86_64-linux
- guardonce---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
- seL4-deps---packages---x86_64-linux
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
microkit---devShells---x86_64-linux:
name: microkit---devShells---x86_64-linux
runs-on:
- ubuntu-latest
needs:
- microkit-sdk---packages---x86_64-linux
- pyfdt---packages---x86_64-linux
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
formatting---checks---x86_64-linux:
name: formatting---checks---x86_64-linux
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 .#checks.x86_64-linux.formatting --print-build-logs
x86_64-linux---check:
name: Check on x86_64-linux
runs-on:
- ubuntu-latest
needs:
- formatting---checks---x86_64-linux
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