Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.

...

1 commit
1 file changed
1 contributor

Commits on May 22, 2020

actions/editorconfig: disable until we can combine this with ofborg (#…
```
…88608)

We cannot run this check now, as it marks CI as green even though ofborg has not
evaluated it yet. In future we might be able to mark ofborg as a required test:
#87853 (comment)
```
Mic92 committed May 22, 2020
Copy the full SHA

1ccf442 View commit details

Browse the repository at this point in the history