mirror-docker-unified icon indicating copy to clipboard operation
mirror-docker-unified copied to clipboard

lug: elan update

Open timechess opened this issue 1 year ago • 1 comments

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 avatar May 17 '24 08:05 timechess

@PhotonQuantum

timechess avatar May 17 '24 09:05 timechess

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 avatar May 29 '24 20:05 PhotonQuantum

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

PhotonQuantum avatar May 29 '24 20:05 PhotonQuantum