Skip to content
Documenter

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

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

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

documenter.yml

on: pull_request
build
58s
build
Fit to window
Zoom out
Zoom in