Nix

fix: remove broken src override #5

Sign in to view logs

Triggered via push February 11, 2024 14:59

wucke13

main

Status Success

Total duration 3m 56s

Artifacts –

nix.yaml

on: push

Build x86_64-linux.guardonce

Build x86_64-linux.pyfdt

Build x86_64-linux.concurrencytest

Build x86_64-linux.seL4-test-source

Run Nix checks on x86_64-linux

Build x86_64-linux.seL4-deps

Build x86_64-linux.camkes-deps

Build x86_64-linux.seL4-kernel-riscv64-mcs

Build x86_64-linux.seL4-moritz-fork-arm-hyp

Build x86_64-linux.seL4-kernel-riscv64

Build x86_64-linux.seL4-moritz-fork-arm

Build x86_64-linux.seL4-moritz-fork-arm-mcs

Build x86_64-linux.seL4-moritz-fork-x64

Build x86_64-linux.seL4-kernel-arm

Build x86_64-linux.seL4-kernel-arm-hyp

Build x86_64-linux.seL4-kernel-arm-mcs

Build x86_64-linux.seL4-kernel-x64