Skip to content

Actions: sphinx-doc/sphinx

CI (node.js)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
388 workflow runs
388 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[HTML search] include partially-matched document titles in search res…
CI (node.js) #7222: Commit bfce4f5 pushed by picnixz
March 26, 2024 11:18 43s master
March 26, 2024 11:18 43s
Merge branch 'master' into bot/pull-translations
CI (node.js) #7219: Commit d5131be pushed by chrisjsewell
March 23, 2024 17:58 29s bot/pull-translations
March 23, 2024 17:58 29s
Bump ruff from 0.3.2 to 0.3.3
CI (node.js) #7214: Commit ac34766 pushed by dependabot bot
March 19, 2024 11:54 27s dependabot/pip/ruff-0.3.3
March 19, 2024 11:54 27s
March 19, 2024 09:57 52s
[search] order non-main index entries after other results (#11696)
CI (node.js) #7206: Commit a9383a0 pushed by picnixz
March 18, 2024 16:38 38s master
March 18, 2024 16:38 38s
March 18, 2024 08:46 27s
[search] filter script and style elements from search result summary …
CI (node.js) #7203: Commit bf0bec3 pushed by picnixz
March 17, 2024 14:14 35s master
March 17, 2024 14:14 35s
HTML Search: Fix duplicate results
CI (node.js) #7199: Pull request #11942 synchronize by picnixz
March 17, 2024 09:42 36s wlach:fix-duplicate-search-results
March 17, 2024 09:42 36s
ProTip! You can narrow down the results and go further in time using created:<2024-03-17 or the other filters available.