Skip to content
Build CI

Merge branch 'main' of github.com:differrari/RedactedOS #208

Sign in to view logs

Merge branch 'main' of github.com:differrari/RedactedOS

Merge branch 'main' of github.com:differrari/RedactedOS #208

Triggered via push September 6, 2025 13:28
@differraridifferrari
pushed eabe8a4
main
Status Success
Total duration 58s
Artifacts 1

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
Linux (x64) - kernel + disk.img + user programs Expired
471 KB
sha256:ffabd2d5b5e0b15ffdc3a72b66a7319af872d3eb5abcf6a0726a504f61e3eb7c