Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
codedownio
codedown-languages
Repository navigation
Code
Issues
15
(15)
Pull requests
2
(2)
Actions
Projects
Security and quality
Insights
More
items
Actions: codedownio/codedown-languages
Actions
All workflows
Workflows
codedown-languages
codedown-languages
Show more workflows...
Management
Caches
Lockfile
All workflows
All workflows
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Showing runs from all workflows
will be ignored since log searching is not yet available
304 workflow runs
304 workflow runs
Workflow
Filter by Workflow
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching workflows.
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
Test that Haskell code lenses resolve onto notebook lines
codedown-languages
#863:
Commit
94c9819
pushed by
thomasjm
16m 54s
haskell-code-lens-test
haskell-code-lens-test
16m 54s
View #123
View workflow file
Give raw .hs files a language server
codedown-languages
#862:
Commit
f0c6a10
pushed by
thomasjm
24m 30s
main
main
24m 30s
View workflow file
Expose the Rust kernel's import-from-derivation input on the environment
codedown-languages
#861:
Commit
0c7e936
pushed by
thomasjm
41m 20s
main
main
41m 20s
View workflow file
Expose the Rust kernel's import-from-derivation input on the environment
codedown-languages
#860:
Commit
18cb3d6
pushed by
thomasjm
42m 15s
seed-rust-ifd-into-binary-cache
seed-rust-ifd-into-binary-cache
42m 15s
View #122
View workflow file
Give raw .hs files a language server
codedown-languages
#859:
Commit
bf9baa8
pushed by
thomasjm
32m 52s
hls-raw-extensions
hls-raw-extensions
32m 52s
View #121
View workflow file
Rust: test that code action edits point at the notebook
codedown-languages
#858:
Commit
0197a62
pushed by
thomasjm
29m 8s
rust-code-action-test
rust-code-action-test
29m 8s
View workflow file
Python: add basedpyright as a language server option
codedown-languages
#857:
Commit
18b7732
pushed by
thomasjm
2h 28m 25s
python-basedpyright
python-basedpyright
2h 28m 25s
View #119
View workflow file
Python: add basedpyright as a language server option
codedown-languages
#856:
Commit
b3cfeb0
pushed by
thomasjm
1h 44m 6s
python-basedpyright
python-basedpyright
1h 44m 6s
View workflow file
Rust: make rust-analyzer's type hints a setting, off by default
codedown-languages
#855:
Commit
1ad3ba8
pushed by
thomasjm
2h 38m 20s
main
main
2h 38m 20s
View workflow file
Lint Nix in CI (#117)
codedown-languages
#854:
Commit
337536c
pushed by
thomasjm
1h 46m 50s
main
main
1h 46m 50s
View workflow file
Lint Nix in CI with deadnix
codedown-languages
#853:
Commit
4dd98e9
pushed by
thomasjm
3m 11s
nix-lint
nix-lint
3m 11s
View #117
View workflow file
Rust: make rust-analyzer's type hints a setting, off by default
codedown-languages
#852:
Commit
4f36163
pushed by
thomasjm
1h 51m 28s
rust-type-hints-option
rust-type-hints-option
1h 51m 28s
View #118
View workflow file
Lint Nix in CI with deadnix
codedown-languages
#851:
Commit
16f77e1
pushed by
thomasjm
1h 22m 29s
nix-lint
nix-lint
1h 22m 29s
View workflow file
Make formatting work, and say which formatter is behind it (#115)
codedown-languages
#850:
Commit
1843266
pushed by
thomasjm
1h 21m 39s
main
main
1h 21m 39s
View workflow file
Test formatting in notebooks, not just raw files
codedown-languages
#849:
Commit
f3c0ced
pushed by
thomasjm
1h 27m 22s
formatters
formatters
1h 27m 22s
View #115
View workflow file
Move the lsp-test-helpers pin to main now that the /bin/sh change is …
codedown-languages
#848:
Commit
a1b1e3e
pushed by
thomasjm
18m 56s
formatters
formatters
18m 56s
View workflow file
Move the lsp pin back to upgrade-monads-newest-jan2026 now that the t…
codedown-languages
#847:
Commit
b8494fa
pushed by
thomasjm
31m 2s
formatters
formatters
31m 2s
View workflow file
R: build languageserver from our fork of master, with the shutdown re…
codedown-languages
#846:
Commit
fa9bc2f
pushed by
thomasjm
47m 4s
formatters
formatters
47m 4s
View workflow file
R: build languageserver from our fork, with the shutdown response fixed
codedown-languages
#845:
Commit
e3959e3
pushed by
thomasjm
55m 9s
formatters
formatters
55m 9s
View workflow file
R: note why the LSP test is slow
codedown-languages
#844:
Commit
eb10993
pushed by
thomasjm
52m 18s
formatters
formatters
52m 18s
View workflow file
R: drop the local languageserver shutdown patch in favor of an upstre…
codedown-languages
#843:
Commit
e4bc337
pushed by
thomasjm
27m 6s
formatters
formatters
27m 6s
View workflow file
Regenerate the options docs
codedown-languages
#842:
Commit
b32918a
pushed by
thomasjm
48m 34s
inlay-hints-and-notebook-suffixes
inlay-hints-and-notebook-suffixes
48m 34s
View #116
View workflow file
R: unpend the formatting test now that the lsp-test teardown deadlock…
codedown-languages
#841:
Commit
1d1025f
pushed by
thomasjm
41m 57s
formatters
formatters
41m 57s
View workflow file
R: record what actually causes the formatting test to hang
codedown-languages
#840:
Commit
565a493
pushed by
thomasjm
30m 13s
formatters
formatters
30m 13s
View workflow file
Regenerate the options docs
codedown-languages
#839:
Commit
5acbc63
pushed by
thomasjm
58m 38s
inlay-hints-and-notebook-suffixes
inlay-hints-and-notebook-suffixes
58m 38s
View workflow file
Previous
1
2
3
4
5
…
12
13
Next
You can’t perform that action at this time.