Dominik Jain
|
43457db31d
|
Do not ignore /.serena, only .serena in test folders
|
2025-11-10 16:00:15 +01:00 |
|
Dominik Jain
|
4ac6d59e6c
|
Use redirect instead of copy for index file
|
2025-11-09 14:23:01 +01:00 |
|
Dominik Jain
|
90f50fe638
|
Automate copying of 01-about/000_intro.md to index.md, and ignore index.md
|
2025-11-09 14:02:02 +01:00 |
|
Dominik Jain
|
98072d171f
|
Add 'About Serena' contents to the intro page of the first section
|
2025-11-09 07:14:15 +01:00 |
|
Dominik Jain
|
91dcbfa1bc
|
Remove unnecessary copies of logo images
|
2025-11-09 07:13:34 +01:00 |
|
Dominik Jain
|
97fe7144d0
|
Remove references to sensAI, update .gitignore [skip ci]
|
2025-11-09 06:39:51 +01:00 |
|
youM
|
b371d5bcf8
|
Use selection range in scala (#733)
* enable serection range
* rm dupricate row
|
2025-11-09 06:37:40 +01:00 |
|
Dominik Jain
|
2bc9d1b4a5
|
Add video tags
|
2025-11-09 06:19:25 +01:00 |
|
Michael Panchenko
|
0ddeab82ab
|
Docs: support for dark mode logo
|
2025-11-09 11:40:51 +07:00 |
|
Michael Panchenko
|
420df9dd93
|
Updated doc build dependencies
|
2025-11-09 11:40:31 +07:00 |
|
Michael Panchenko
|
85ce624063
|
Docs config: removed references to tianshou
|
2025-11-09 11:14:40 +07:00 |
|
Michael Panchenko
|
9cd221755d
|
Docs config: removed copy-paste
|
2025-11-09 11:11:44 +07:00 |
|
Dominik Jain
|
0b999e7762
|
Update configuration guide URL
|
2025-11-09 02:07:55 +01:00 |
|
Dominik Jain
|
21c88fe8b0
|
Use dedicated heartbeat function to auto-close dashboard
Fixes #734
|
2025-11-09 02:07:25 +01:00 |
|
Dominik Jain
|
875eb72c51
|
Add 'Copy Dashboard URL' function to GUI window
|
2025-11-09 01:47:31 +01:00 |
|
Dominik Jain
|
08d9488540
|
Improve Quick Start
|
2025-11-08 17:11:16 +01:00 |
|
Dominik Jain
|
fc8503f77b
|
Merge pull request #729 from oraios/docs
New documentation structure (outside of README)
|
2025-11-08 16:30:17 +01:00 |
|
Dominik Jain
|
5dc5f5e5f0
|
Build docs for main branch
|
2025-11-08 15:05:02 +01:00 |
|
Dominik Jain
|
ff5ac556dc
|
Add CLI command examples
|
2025-11-08 14:14:20 +01:00 |
|
Dominik Jain
|
55a041dffc
|
Clean up docs task
|
2025-11-08 13:12:35 +01:00 |
|
Dominik Jain
|
db01516894
|
Improve callouts
|
2025-11-08 13:10:53 +01:00 |
|
Dominik Jain
|
2b9a450559
|
Disable continuation on error
|
2025-11-08 12:43:17 +01:00 |
|
Dominik Jain
|
90e123726c
|
Fix heading levels in docs
|
2025-11-08 12:43:17 +01:00 |
|
Dominik Jain
|
e436fb3f59
|
Fix links in docs
|
2025-11-08 12:43:17 +01:00 |
|
Dominik Jain
|
530926c836
|
Several docs improvements (proof-reading)
|
2025-11-08 12:43:17 +01:00 |
|
Dominik Jain
|
766ecbccd4
|
Move tool list to docs, restructure README
|
2025-11-08 04:03:15 +01:00 |
|
Dominik Jain
|
63fd5bfb59
|
Update README, removing parts now in the user guide and adding links instead
|
2025-11-08 01:09:15 +01:00 |
|
Dominik Jain
|
6833044a85
|
Update docs build in CI
|
2025-11-08 00:39:28 +01:00 |
|
Dominik Jain
|
ec41c32a0f
|
Improve docs on workflow
|
2025-11-08 00:11:25 +01:00 |
|
Dominik Jain
|
9f2ed5965e
|
Improve docs on client configuration
|
2025-11-07 23:36:57 +01:00 |
|
Dominik Jain
|
185c3b2065
|
Improve prerequisistes and language support docs
|
2025-11-07 21:10:15 +01:00 |
|
Dominik Jain
|
9dbbfe60b8
|
Improve docs on 'Running Serena'
|
2025-11-07 20:54:38 +01:00 |
|
Dominik Jain
|
f958031555
|
Add/improve docs on dashboard/GUI tool
|
2025-11-07 20:50:09 +01:00 |
|
Dominik Jain
|
1ec18595be
|
Add/improve docs on security
|
2025-11-07 20:43:36 +01:00 |
|
Dominik Jain
|
774333befc
|
Improve docs on contexts and modes
|
2025-11-07 20:30:17 +01:00 |
|
Dominik Jain
|
c2b456a862
|
Restructure docs, improve texts (particular for Running Serena)
|
2025-11-07 20:15:43 +01:00 |
|
Dominik Jain
|
faf3441ab2
|
Add content from README in docs structure
|
2025-11-07 18:00:00 +01:00 |
|
Dominik Jain
|
9c506d0097
|
Initial setup for jupyterbook build
|
2025-11-07 14:29:35 +01:00 |
|
Dominik Jain
|
c3827d9d57
|
Apply formatter
|
2025-11-06 21:04:17 +01:00 |
|
Dominik Jain
|
e3128280e5
|
Merge branch 'sponsor-rotation'
|
2025-11-06 21:03:59 +01:00 |
|
Dominik Jain
|
ef135686c1
|
Disable sponsor display/rotation
|
2025-11-06 21:03:41 +01:00 |
|
Dominik Jain
|
234cc87679
|
Merge branch 'cancelable-tasks'
|
2025-11-06 21:00:03 +01:00 |
|
Dominik Jain
|
19313fea56
|
Improve task cancellation test
|
2025-11-06 20:58:33 +01:00 |
|
Dominik Jain
|
92774c6e10
|
Add more CSS vars, improving log window height calculation
|
2025-11-06 20:54:42 +01:00 |
|
Dominik Jain
|
195dbee6de
|
Make sponsor image 1px border configurable in manifest
|
2025-11-06 20:54:11 +01:00 |
|
Dominik Jain
|
4a5fde51fd
|
Update sponsors manifest URL
|
2025-11-06 20:22:52 +01:00 |
|
Dominik Jain
|
0c473527bc
|
Define minimum width
|
2025-11-06 18:54:59 +01:00 |
|
Dominik Jain
|
71320c8dfd
|
Fix random padding/margins, making content and header the same size
|
2025-11-06 18:49:25 +01:00 |
|
Dominik Jain
|
960a3cb894
|
Align heights of menu/theme buttons, fix button and menu positions
|
2025-11-06 18:32:22 +01:00 |
|
Dominik Jain
|
cb2b921326
|
Add sponsor links
|
2025-11-06 18:25:19 +01:00 |
|