Skip to content
Documenter

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

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

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

documenter.yml

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