add prune_with_map_projection #183

Sign in to view logs

Triggered via pull request January 22, 2024 18:36

ederc

synchronize #751

hannes14:hs/libsingular_prune

Status Success

Total duration 3m 57s

Artifacts –

Invalidations.yml

on: pull_request

compare-invalidations

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`