Merge pull request #3778 from tock/doc-remove-courses · YoeDistro/tock@790a884

Triggered via push January 17, 2024 05:50

kraj

master

Status Success

Total duration 28m 33s

Artifacts 1

ci.yml

on: push

Matrix: ci-build

Matrix: ci-clippy

Matrix: ci-format

Matrix: ci-tests

Produced during runtime

Name	Size
build-artifacts Expired	72.5 MB