Michał Wawrzyniec Urbańczyk
|
e29ac5a548
|
Update settings.yml
Docs check is superseded by the GUI's lint job.
|
2022-07-15 23:12:14 +02:00 |
|
Michał Wawrzyniec Urbańczyk
|
2b07e4ddbc
|
Update settings.yml
Project Manager -> Backend
|
2022-07-03 17:19:54 +02:00 |
|
Michał Wawrzyniec Urbańczyk
|
1dc4f56f50
|
Update settings.yml
Engine job names.
|
2022-07-03 17:16:23 +02:00 |
|
Michał Wawrzyniec Urbańczyk
|
654793c246
|
Make formatting check a required one.
|
2022-06-09 19:11:25 +02:00 |
|
Michał Wawrzyniec Urbańczyk
|
818a0651ea
|
Update settings.yml
|
2022-05-24 23:13:06 +02:00 |
|
Michał Wawrzyniec Urbańczyk
|
297ef4251c
|
Update the required CI checks list.
|
2022-05-24 07:24:58 +02:00 |
|
Michał Wawrzyniec Urbańczyk
|
f70176a25b
|
Introduce Mergify tool and a label to enable it per PR. (#3284)
|
2022-02-17 16:33:27 +01:00 |
|
Michał Wawrzyniec Urbańczyk
|
f189840df3
|
Update settings.yml (#3279)
|
2022-02-16 09:00:42 +01:00 |
|
Adam Obuchowicz
|
942464cbaf
|
Refactoring: merge utils into prelude; merge workspaces. (#3151)
|
2021-11-10 14:36:08 +01:00 |
|
Michał Wawrzyniec Urbańczyk
|
8fc51bfe44
|
Apply unified prettier style to engine codebase (#3145)
|
2021-11-08 16:45:29 +01:00 |
|
Michał Wawrzyniec Urbańczyk
|
1311e8e156
|
Disable the engine Changelog check. (#3146)
|
2021-11-08 14:52:29 +01:00 |
|
Michał Wawrzyniec Urbańczyk
|
76553dd217
|
Post-merge fixes (#3130)
Add GUI codeowners. Require jobs from GUI CI as part of PR. Keep prettier under control.
|
2021-11-01 20:44:15 +01:00 |
|
Michał W. Urbańczyk
|
99053decd8
|
various default branch switch - related updates
|
2021-11-01 01:37:30 +01:00 |
|
Radosław Waśko
|
c3e4901eb1
|
Add a workflow for building nightly releases (#1689)
|
2021-05-05 11:58:14 +01:00 |
|
Wojciech Daniło
|
3a3648e231
|
Update the readme (#1682)
|
2021-04-15 11:34:17 +01:00 |
|
Dmitry Bushev
|
b5e9895fa7
|
Initialize language server on client connection (#1535)
|
2021-03-04 16:59:05 +00:00 |
|
Ara Adkins
|
d0bd58b584
|
Prepare for the 0.2.6 release (#1533)
|
2021-03-02 09:23:32 +00:00 |
|
Ara Adkins
|
0cbd636e58
|
Bump the development version number (#1389)
|
2021-01-06 08:57:02 +00:00 |
|
Ara Adkins
|
f759dde7c8
|
Set up GH discussions (#1336)
|
2020-12-09 09:46:33 +00:00 |
|
Radosław Waśko
|
79b718e28b
|
Make Legal Review Required For PRs (#1246)
|
2020-10-28 18:12:12 +01:00 |
|
Ara Adkins
|
746521f8b2
|
Bump SBT and Scalafmt (#1203)
Co-authored-by: Radosław Waśko <radoslaw.wasko@enso.org>
Co-authored-by: Dmitry Bushev <bushevdv@gmail.com>
|
2020-10-22 16:12:28 +02:00 |
|
Marcin Kostrzewa
|
42dcc1a003
|
Run Stdlib tests on CI (#1196)
|
2020-10-06 17:45:02 +02:00 |
|
Ara Adkins
|
f9ce402a49
|
Add a label for the standard library
|
2020-09-10 10:03:03 +01:00 |
|
Ara Adkins
|
259302c229
|
Improve the CI configuration (#1122)
|
2020-09-07 12:24:34 +01:00 |
|
Josef
|
1f8a4b802f
|
Fix the release workflow (#1057)
|
2020-08-07 10:18:09 +01:00 |
|
Ara Adkins
|
f5ffbe8fa7
|
Add a markdown style guide (#1022)
|
2020-07-21 13:59:40 +01:00 |
|
Ara Adkins
|
0e1ed00df6
|
Enable CodeQL analysis for Java (#956)
|
2020-07-01 16:17:24 +01:00 |
|
Ara Adkins
|
7ae677acb9
|
Describe the Enso release process (#957)
|
2020-07-01 15:26:49 +01:00 |
|
Ara Adkins
|
e9b676834b
|
Bump the SBT and Scala versions (#948)
1. This PR also re-enables windows CI.
|
2020-06-29 18:24:41 +01:00 |
|
Ara Adkins
|
30a6c5bf97
|
Update the branch protection settings
|
2020-06-23 17:04:19 +01:00 |
|
Ara Adkins
|
71181dbc16
|
Rename repository to Enso
|
2020-06-23 16:45:27 +01:00 |
|
Ara Adkins
|
db1decc7b8
|
Add a label for codegen issues
|
2020-06-23 15:28:20 +01:00 |
|
Ara Adkins
|
724a68e054
|
Update settings.yml
|
2020-06-23 09:42:36 +01:00 |
|
Ara Adkins
|
f7d4ef546a
|
Prepare the repo for working on rust code (#841)
|
2020-06-16 17:18:11 +01:00 |
|
Ara Adkins
|
df887f20f2
|
Temporarily disable windows on CI (#837)
|
2020-06-15 16:48:04 +01:00 |
|
Ara Adkins
|
f9e7543654
|
Update the default branch name to main
|
2020-06-15 14:08:06 +01:00 |
|
Ara Adkins
|
55f0839c39
|
Miscellaneous documentation fixes (#770)
|
2020-05-20 12:21:52 +01:00 |
|
Ara Adkins
|
6d13ee997b
|
Update settings.yml
|
2020-05-18 09:06:16 +01:00 |
|
Ara Adkins
|
0ea1611fd1
|
Update permissioning in settings.yml
|
2020-05-18 08:50:12 +01:00 |
|
Ara Adkins
|
51d0991cbe
|
Update the repo labels
|
2020-05-15 17:52:47 +01:00 |
|
Ara Adkins
|
2100e3ed94
|
Update the repository settings
|
2020-05-15 17:43:44 +01:00 |
|
Ara Adkins
|
dee465e29f
|
Add a repository configuration file
|
2020-05-15 17:38:04 +01:00 |
|