diff options
| author | silverwind | 2020-10-28 00:44:06 +0100 |
|---|---|---|
| committer | GitHub | 2020-10-27 19:44:06 -0400 |
| commit | 946bbbe9b55831ede80518ff4177f940b303a674 (patch) | |
| tree | 4e012998a85f078f3f45ff3bb35720cb3350adbc /.gitignore | |
| parent | 7dfb2fc176a3d0d864b52b3124a795781cbd73e5 (diff) | |
Precompile fomantic-ui files (#13332)
We rarely change fomantic-ui or its configuration so it's kind of a
waste to have it rebuild on every CI run. These changes remove the
fomantic files from the build and instead add the relevant output files
to the git index, which should shave of 2-3 minutes on every CI run.
`make fomantic` should still work and should be ran whenever fomantic is
updated or its configuration is changed.
Co-authored-by: techknowlogick <techknowlogick@gitea.io>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index af522a53c..8d8863546 100644 --- a/.gitignore +++ b/.gitignore @@ -80,7 +80,17 @@ coverage.all /public/css /public/fonts /public/img/webpack -/web_src/fomantic/build +/web_src/fomantic/build/* +!/web_src/fomantic/build/semantic.js +!/web_src/fomantic/build/semantic.css +!/web_src/fomantic/build/themes +/web_src/fomantic/build/themes/* +!/web_src/fomantic/build/themes/default +/web_src/fomantic/build/themes/default/assets/* +!/web_src/fomantic/build/themes/default/assets/fonts +/web_src/fomantic/build/themes/default/assets/fonts/* +!/web_src/fomantic/build/themes/default/assets/fonts/icons.woff2 +!/web_src/fomantic/build/themes/default/assets/fonts/outline-icons.woff2 /VERSION /.air |