Skip to content
CI

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

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 #666

Triggered via push May 18, 2025 14:54
@TsinghuaDatabaseGroupTsinghuaDatabaseGroup
pushed c2205a9
master
Status Success
Total duration 40s
Artifacts –

main.yml

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