Skip to content
Documenter

Enhance make.jl to automatically produce a list of all relevant repositories #13

Sign in to view logs

Enhance make.jl to automatically produce a list of all relevant repositories

Enhance make.jl to automatically produce a list of all relevant repositories #13

Triggered via pull request March 21, 2025 17:28
@fingolfinfingolfin
synchronize #11
fingolfin:mh/update
Status Success
Total duration 1m 6s
Artifacts –

documenter.yml

on: pull_request
build
1m 2s
build
Fit to window
Zoom out
Zoom in