Skip to content
Julia Documentation

Merge pull request #1875 from CEED/jeremy/name-consistency #7046

Sign in to view logs

Merge pull request #1875 from CEED/jeremy/name-consistency

Merge pull request #1875 from CEED/jeremy/name-consistency #7046

Triggered via push August 6, 2025 16:03
@jeremyltjeremylt
pushed 1ad4660
main
Status Success
Total duration 1m 16s
Artifacts –

julia-documentation.yml

on: push
build
1m 12s
build
Fit to window
Zoom out
Zoom in