search

sjtug / mirror-docker-unified

Infrastructure of SJTUG mirrors
https://mirror.sjtu.edu.cn
Apache License 2.0
50 stars 12 forks source link

lug: elan update #464

Closed timechess closed 3 months ago

timechess commented 3 months ago

The original lean-package std4 was renamed to batteries. There are still some lean projects using the old name. I wonder if I should delete the old script. For now, I just add batteries.

timechess commented 3 months ago

@PhotonQuantum

PhotonQuantum commented 3 months ago

Sorry for the delay! We are currently experiencing network issues while attempting the initial sync. I'll merge this PR once the problem is resolved.

PhotonQuantum commented 3 months ago

Please refer to issue #467 for the scheduled deployment time of this pull request.