Skip to content

Pull requests: bootlin/elixir

New pull request New
15 Open 184 Closed
15 Open 184 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add opensearch manifest for elixir.bootlin.com
#401 opened Mar 11, 2025 by fstachura Loading…
1
2
index: add VPP repository
#399 opened Mar 6, 2025 by nplanelcisco Loading…
3
WIP: Diff view
#396 opened Mar 5, 2025 by fstachura • Draft
1
Add script for converting Zephyr repository
#394 opened Feb 22, 2025 by fstachura Loading…
7
README: maintenance and minor fixes
#393 opened Feb 21, 2025 by fstachura Loading…
1
style.css: fluid spacing of nav-links for mobile
#385 opened Feb 5, 2025 by tleb Loading…
3
New lexers
#375 opened Dec 29, 2024 by fstachura Loading…
data: Replace custom formats with msgpack
#374 opened Dec 29, 2024 by fstachura • Draft
6
utils: Add crawlers for testing for crashes/performance
#373 opened Dec 29, 2024 by fstachura Loading…
update: Rewrite update script
#372 opened Dec 29, 2024 by fstachura Loading…
1
46
web, banner: Add dynamic messages for mobile version
#369 opened Dec 29, 2024 by fstachura Loading…
5
Add peeks for idents
#367 opened Dec 23, 2024 by Daniil159x Loading…
12
Add a list of tokens that are always indexed
#288 opened Jun 18, 2024 by fstachura • Draft
15
Remove net from keyword blacklist
#286 opened Jun 6, 2024 by fstachura Loading…
10
Multi languages support other than C/C++
#254 opened Jun 23, 2023 by miharahiro Loading…
10
ProTip! no:milestone will show everything without a milestone.