diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2023-11-19 05:35:36 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2023-11-19 05:35:36 +0300 |
| commit | 545613b26eb10936629f67963797e4507c000803 (patch) | |
| tree | 15eca1a1bd3cb71e4ef6c5f73cd98c98ba6ce6bc /.github | |
| parent | d6f87b06c2cd306a1e4736f9dd74dd36fbedf5fc (diff) | |
| download | inter-545613b26eb10936629f67963797e4507c000803.tar.xz | |
nit in .github/workflows/build-fonts.yml
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build-fonts.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/build-fonts.yml b/.github/workflows/build-fonts.yml index 38089b7fc..592b090ae 100644 --- a/.github/workflows/build-fonts.yml +++ b/.github/workflows/build-fonts.yml @@ -14,7 +14,7 @@ on: paths: - "src/**" - Makefile - - requirements.txt + - Pipfile - version.txt - misc/makezip2.sh - "misc/tools/**" @@ -25,7 +25,7 @@ on: paths: - "src/**" - Makefile - - requirements.txt + - Pipfile - version.txt - misc/makezip2.sh - "misc/tools/**" |