Fix webide by adding correct file extension to temp files (!1440) · Merge requests · ligolang / LIGO

Merged Melwyn Saldanha requested to merge fix-webide-file-extensions into dev 3 years ago

Status	Pipeline	Stages
Warning 00:18:02 3 years ago	Merge branch fix-webide-file-extensions with refs/heads/dev into refs/merge-requests/1440/train #421071664 1440 8ed1392c merge train	Stage: pretooling Stage: docker-build Stage: docker-extract Stage: tooling Stage: push Stage: ide-deploy Stage: ide-feature-container-removal	Download artifacts No artifacts found
0
Warning 00:21:07 3 years ago	Merge branch 'fix-webide-file-extensions' into 'dev' #421051164 1440 a6b1a93f merged results	Stage: pretooling Stage: docker-build Stage: docker-extract Stage: tooling Stage: push Stage: ide-deploy Stage: ide-feature-container-removal	Download artifacts No artifacts found
0
Canceled 00:12:54 3 years ago	Merge branch 'fix-webide-file-extensions' into 'dev' #421050438 1440 e7e1d985 merged results	Stage: pretooling Stage: docker-build Stage: docker-extract Stage: tooling Stage: push Stage: ide-deploy Stage: ide-feature-container-removal	Download artifacts No artifacts found
0

Fix webide by adding correct file extension to temp files