Merge remote-tracking branch 'upstream/master' into file-manager-redesign

This commit is contained in:
NicKoehler
2023-02-22 23:01:31 +01:00
parent 922a70adb4
commit 12a33cdfbb
31 changed files with 488 additions and 282 deletions

View File

@@ -7,6 +7,9 @@ name: CI
on:
workflow_dispatch:
pull_request:
paths-ignore:
- "docs/**"
- "README.md"
push:
branches:
- master
@@ -14,6 +17,8 @@ on:
- '*'
paths-ignore:
- ".github/**"
- "docs/**"
- "README.md"
jobs:
# ensure_cargo_fmt: