Adapt MPS-Extensions to use snapshot repo

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.

https://jetbrains.github.io/MPS-extensions/

Apache License 2.0

80 stars 47 forks source link

Closed psuzzi closed 2 months ago

psuzzi commented 2 months ago

Adapt MPS-Extensions to use snapshot repo.

psuzzi commented 2 months ago

Note: as we probably intend to have a multi-step build, which fails in case the first build fails, we might need to change also the usage of BUILD_NUMBER in favor of BUILD_COUNTER, as seen here: https://github.com/IETS3/iets3.opensource/pull/918#pullrequestreview-2003984469

psuzzi commented 2 months ago

closed by #826