zowoq
|
3c9bcd43e7
|
.github/workflows/editorconfig.yml: update to match wait-ofborg action
|
2020-08-02 18:34:55 +10:00 |
|
zowoq
|
b4716cf867
|
.github/workflows/editorconfig.yml: update
|
2020-08-02 18:34:55 +10:00 |
Jörg Thalheim
|
4681807395
|
Revert "temporary delete github actions"
This reverts commit 256dbf6980.
This did not solve the github action failures
|
2020-07-31 17:34:37 +01:00 |
|
Jörg Thalheim
|
256dbf6980
|
temporary delete github actions
We are currently seeing a lot of misterious github actions failures.
They might be linked to our github actions:
https://github.com/nixos/nixpkgs/actions
|
2020-07-31 17:30:04 +01:00 |
dependabot[bot]
|
aa0fa84e50
|
build(deps): bump technote-space/get-diff-action from v1.2.8 to v2.0.2
Bumps [technote-space/get-diff-action](https://github.com/technote-space/get-diff-action) from v1.2.8 to v2.0.2.
- [Release notes](https://github.com/technote-space/get-diff-action/releases)
- [Changelog](https://github.com/technote-space/get-diff-action/blob/master/.releasegarc)
- [Commits](https://github.com/technote-space/get-diff-action/compare/v1.2.8...8641dcd991ed365c2647f8ee3f31c39bc03f5312)
Signed-off-by: dependabot[bot] <support@github.com>
|
2020-07-31 05:37:56 +00:00 |
|
Jörg Thalheim
|
6dce0bb299
|
Revert "actions/editorconfig: disable until we can combine this with ofborg (#88608)"
This reverts commit 1ccf44204b.
|
2020-07-30 21:45:29 +01:00 |
Jörg Thalheim
|
1ccf44204b
|
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:
https://github.com/NixOS/nixpkgs/pull/87853#issuecomment-632676824
|
2020-05-22 13:15:13 +00:00 |
|
zowoq
|
05f9269602
|
editorconfig.yml: suppress curl output
|
2020-05-21 07:40:40 +10:00 |
|
zowoq
|
2f0c2d4c45
|
editorconfig.yml: switch to binary
|
2020-05-21 01:14:43 +10:00 |
|
zowoq
|
a42190fc07
|
GitHub Actions: check editorconfig in PRs
|
2020-05-20 20:24:33 +10:00 |