Skip to content
Documenter

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

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

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

documenter.yml

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