Skip to content
CI

Merge branch 'master' of https://github.com/LearningOS/os-lectures #632

Sign in to view logs

Merge branch 'master' of https://github.com/LearningOS/os-lectures

Merge branch 'master' of https://github.com/LearningOS/os-lectures #632

Triggered via push March 8, 2025 08:48
@TsinghuaDatabaseGroupTsinghuaDatabaseGroup
pushed ecd6560
master
Status Success
Total duration 39s
Artifacts –

main.yml

on: push
build
34s
build
Fit to window
Zoom out
Zoom in