mathlib3
63a0936b - ci(.github/workflows/*): cleanup after upload step (#11008)

Commit
4 years ago
ci(.github/workflows/*): cleanup after upload step (#11008) cf. https://github.com/actions/upload-artifact/issues/256
Parents
Loading