Skip to content
Documenter

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

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

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

documenter.yml

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