Zulip Chat Archive
Stream: Carleson
Topic: GitHub Actions
Pietro Monticone (Jul 16 2024 at 20:29):
Opened PR fixing the "Cache mathlib documentation" step (from 12 min to 2 min) and minimising disk space usage (from 378 MB to 369 MB).
Last updated: May 02 2025 at 03:31 UTC