Skip to content

Default branch change (also updating owner, etc) #3

Default branch change (also updating owner, etc)

Default branch change (also updating owner, etc) #3

Triggered via push March 4, 2025 22:01
Status Success
Total duration 2m 50s
Artifacts

Docs.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
docs
Cache not found for keys: julia-cache;workflow=Documentation;job=docs;os=Linux;run_id=13663767362;run_attempt=1, julia-cache;workflow=Documentation;job=docs;os=Linux;