enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-30 21:24:25 +03:00
Code Issues Projects Releases Wiki Activity
273 Commits 119 Branches 891 Tags 261 MiB
7fb5a77ff9
Commit Graph

3 Commits

Author SHA1 Message Date
Ara Adkins
7077abc2cb Update the repo to use main as the default branch 
Original commit: 706f1fd9ed
 2020-06-15 18:11:36 +01:00
Michael Mauderer
71bc491b28 Add profiling checkbox to PR Checklist. (https://github.com/enso-org/ide/pull/416) 
Original commit: d9ca410246
 2020-05-27 12:55:18 +02:00
Ara Adkins
6c2d42d890 Add issue and PR templates 
Original commit: 389062ec1a
 2019-10-14 11:00:17 +01:00