Commit Graph

45 Commits

Author SHA1 Message Date
Michał W. Urbańczyk
af3ebccb39 Updated the required changelog check. Removed dead config for release branches. 2022-10-10 23:43:46 +02:00
Michał Wawrzyniec Urbańczyk
b9e6510a12
New CI labels. (#3736)
This PR adds two new labels to interact with CI systems:
* `CI: Keep up to date` tells mergify bot to auto-update the PR against develop but do not merge it. 
* `CI: No changelog needed` is meant to replace old `[ci no changelog needed]`
* `CI: Clean build required` marks PR as being incompatible with main development branch and will ensure that runners are cleaned before and after running jobs related to this PR.

Note that currently only first label is supported, others will follow with the build script update. However they need to be merged before, so I am able to develop and test them.
2022-09-23 23:05:27 +02:00
Michał Wawrzyniec Urbańczyk
183d2ba35d
Follow-up update to exclude removed workflow from required checks. 2022-08-23 00:48:29 +02:00
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