Skip to content

Merge pull request #17 from ArrogantGao/jg/clean-up #75

Merge pull request #17 from ArrogantGao/jg/clean-up

Merge pull request #17 from ArrogantGao/jg/clean-up #75

Triggered via push December 2, 2024 03:20
Status Success
Total duration 7m 21s
Artifacts

CI.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Documentation
Julia depot registries already exist. Skipping restoring of cached registries to avoid potential merge conflicts when updating. Please ensure that `julia-actions/cache` precedes any workflow steps which add registries.