Skip to content
build-odoc

start changing the default scope from Core to Base in some places #29

Sign in to view logs

start changing the default scope from Core to Base in some places

start changing the default scope from Core to Base in some places #29

Triggered via push October 31, 2023 14:46
@mbarbinmbarbin
pushed bc17c8b
main
Status Success
Total duration 19m 7s
Artifacts –

build-odoc.yml

on: push
Build odoc
18m 57s
Build odoc
Fit to window
Zoom out
Zoom in