Skip to content
Publish docs via GitHub Pages

Merge pull request #291 from slimgroup/pip-user #288

Sign in to view logs

Merge pull request #291 from slimgroup/pip-user

Merge pull request #291 from slimgroup/pip-user #288

Triggered via push May 24, 2025 04:03
@mlouboutmloubout
pushed ad33535
v4.1.2
Status Success
Total duration 7m 2s
Artifacts –

deploy_doc.yaml

on: push
Deploy docs
6m 55s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

1 notice
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`