Remove docs from automatically building in Gitpod

[yardenshoham]

I couldn't find a way to build the docs without trans-copy and spinning up a dev environment that generates files untracked by git on startup is not a good development experience

[silverwind]

Agree, docs build is rarely useful. We don't need to bloat the gitpod environment with it.

[codecov-commenter]

Codecov Report

Merging #23978 (05603fb) into main (f521e88) will decrease coverage by 0.10%.
The diff coverage is 31.71%.

❗ Current head 05603fb differs from pull request most recent head e2df284. Consider uploading reports for the commit e2df284 to get more accurate results

@@            Coverage Diff             @@
##             main   #23978      +/-   ##
==========================================
- Coverage   47.14%   47.05%   -0.10%     
==========================================
  Files        1149     1163      +14     
  Lines      151446   153691    +2245     
==========================================
+ Hits        71397    72317     +920     
- Misses      71611    72869    +1258     
- Partials     8438     8505      +67     

Impacted Files	Coverage Δ
cmd/dump.go	0.66% <0.00%> (-0.01%)	⬇️
cmd/mailer.go	0.00% <0.00%> (ø)
cmd/manager.go	0.00% <0.00%> (ø)
cmd/manager_logging.go	0.00% <0.00%> (ø)
cmd/migrate_storage.go	5.76% <0.00%> (-0.12%)	⬇️
cmd/restore_repo.go	0.00% <0.00%> (ø)
cmd/web.go	0.00% <0.00%> (ø)
models/actions/run.go	1.63% <0.00%> (-0.10%)	⬇️
models/actions/runner.go	1.44% <ø> (ø)
models/packages/package.go	45.45% <0.00%> (-1.13%)	⬇️
... and 65 more

... and 100 files with indirect coverage changes

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[yardenshoham]

Ping lgtm bot?