FTheoryTools: Add comment to explain similar terminology; doc fix #5392

Sign in to view logs

Triggered via pull request July 26, 2024 12:24

apturner

synchronize #3975

apturner:explain_terminology

Status Success

Total duration 9m 0s

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`