Kaz Wesley b32fedacd9 Profiling: intervals tool and devtools-file generator (#3359) ... * Profiling: intervals tool * devtools profile generator * docs * ignore open intervals, because devtools does * intervals tool: show interval counts * Re-add a doc comment. Was accidentally deleted. * Implement review. * DURATION_FLOOR_MS * Rename methods that apply a profile's contents to self * Description of chrome format * Link to profile.json format documentation is design doc * Implement profiling-level switch described in design doc * lint		2022-04-11 06:08:09 -07:00
..
enso-formatter	Fix enso-formatter unit test (#3345)	2022-03-18 14:49:38 +00:00
rust-scripts	Applying review	2022-03-10 05:57:59 +01:00
cmd.js	Refactor gui/src/rust/ide to two app/gui and app/ide-desktop (#3157)	2021-11-16 10:04:56 +01:00
package.json	Developers should be able to build and test desktop IDE on M1 Mac (#3194)	2022-01-10 12:18:34 +03:00
paths.js	Developers should be able to build and test desktop IDE on M1 Mac (#3194)	2022-01-10 12:18:34 +03:00
release.js	Nightly proccess preparations: Setting Enso version through the environment (#3241)	2022-02-07 15:14:32 +01:00
run.js	Profiling: intervals tool and devtools-file generator (#3359)	2022-04-11 06:08:09 -07:00
workflow.js	Remove Windows code signing environment. (#3343)	2022-03-15 16:07:52 +01:00