enso/gui/.github
2020-05-29 12:35:22 +02:00
..
actions-rs Update grcov.yml 2019-10-07 22:43:56 +02:00
ISSUE_TEMPLATE Refactoring file structure (https://github.com/enso-org/ide/pull/260) 2020-03-16 03:58:00 +01:00
workflows Fix CI package size checking (https://github.com/enso-org/ide/pull/421) 2020-05-12 12:18:32 +02:00
CODEOWNERS Change IDE owner to mwu-two (https://github.com/enso-org/ide/pull/498) 2020-05-29 12:35:22 +02:00
PULL_REQUEST_TEMPLATE.md Add profiling checkbox to PR Checklist. (https://github.com/enso-org/ide/pull/416) 2020-05-27 12:55:18 +02:00