Ruben Anders
|
45a53bf0a4
|
dont ignore md files for CI in pull requests (#1881)
This should help merging readme PRs without having to use scary buttons
|
2020-08-23 14:07:30 +02:00 |
|
Rasmus Karlsson
|
3942749226
|
Don't check formatting when documentation has been updated
|
2020-07-18 14:27:06 +02:00 |
|
Rasmus Karlsson
|
624c578b06
|
Run format checker on pull requests too
|
2019-11-16 12:00:21 +01:00 |
|
Rasmus Karlsson
|
b2d88ba555
|
fix!
|
2019-11-02 12:21:18 +01:00 |
|
Rasmus Karlsson
|
94f071b0ba
|
add -y to apt-get install in check-formatting workflow
|
2019-11-02 12:19:25 +01:00 |
|
pajlada
|
3aedd682a6
|
Update check-formatting.yml
|
2019-11-02 12:18:18 +01:00 |
|
Rasmus Karlsson
|
28a1c7234e
|
Update check-format action
|
2019-11-02 12:13:41 +01:00 |
|
pajlada
|
9fe752cf3c
|
add github action to check formatting
|
2019-11-02 11:59:34 +01:00 |
|