Skip to content
This repository has been archived by the owner on Oct 25, 2023. It is now read-only.

fetch_lean_js.sh script is platform specific #4

Open
Antony74 opened this issue Feb 27, 2018 · 0 comments
Open

fetch_lean_js.sh script is platform specific #4

Antony74 opened this issue Feb 27, 2018 · 0 comments

Comments

@Antony74
Copy link

The fetch_lean_js.sh script is platform specific and particularly inaccessible to developers on a Windows platform (although I suppose I could have installed cygwin or something). Would a port to TypeScript - fetch_lean_js.ts - be of interest at all? i.e. the same language the lean-web-editor itself is coded in.

RaitoBezarius pushed a commit to RaitoBezarius/lean-web-editor that referenced this issue Oct 30, 2021
* try switching to github actions

* fix

* fix

* fix

* fix

* fix

* upload artifacts

* fix

* upload meta JSON

* name steps
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant