Skip to content

Actions: idris-community/idris2-lsp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update flake input to match Idris2 submodule (#238) Ubuntu #527: Commit 2736cd1 pushed by mattpolzin
February 10, 2025 00:10 4m 54s main
main
February 10, 2025 00:10 4m 54s
Update flake input to match Idris2 submodule Ubuntu #526: Pull request #238 synchronize by mattpolzin
February 9, 2025 23:51 3m 47s update-flake-inputs
update-flake-inputs
February 9, 2025 23:51 3m 47s
update flake input to match Idris2 submodule Ubuntu #525: Commit 5d3ff8e pushed by mattpolzin
February 9, 2025 23:51 3m 57s update-flake-inputs
update-flake-inputs
February 9, 2025 23:51 3m 57s
Update flake input to match Idris2 submodule Ubuntu #524: Pull request #238 opened by mattpolzin
February 9, 2025 23:49 4m 5s update-flake-inputs
update-flake-inputs
February 9, 2025 23:49 4m 5s
update flake Idris2 to match with submodule Ubuntu #523: Commit 66a35be pushed by mattpolzin
February 9, 2025 23:48 4m 12s update-flake-inputs
update-flake-inputs
February 9, 2025 23:48 4m 12s
update Idris2 submodle (#237) Ubuntu #522: Commit 46c6740 pushed by mattpolzin
February 9, 2025 14:34 18m 10s main
main
February 9, 2025 14:34 18m 10s
update Idris2 submodle Ubuntu #521: Pull request #237 opened by dunhamsteve
February 9, 2025 12:34 19m 30s dunhamsteve:update-idris
dunhamsteve:update-idris
February 9, 2025 12:34 19m 30s
compatibility with idris PR 3480 (#236) Ubuntu #520: Commit bc8e5a7 pushed by mattpolzin
February 9, 2025 03:35 18m 21s main
main
February 9, 2025 03:35 18m 21s
compatibility with idris PR 3480 Ubuntu #519: Pull request #236 synchronize by dunhamsteve
February 9, 2025 02:58 19m 3s dunhamsteve:update-for-3480
dunhamsteve:update-for-3480
February 9, 2025 02:58 19m 3s
compatibility with idris PR 3480 Ubuntu #518: Pull request #236 opened by dunhamsteve
February 6, 2025 16:25 16m 3s dunhamsteve:update-for-3480
dunhamsteve:update-for-3480
February 6, 2025 16:25 16m 3s
update dependencies (#235) Ubuntu #517: Commit df322fa pushed by mattpolzin
December 26, 2024 03:43 18m 49s main
main
December 26, 2024 03:43 18m 49s
update dependencies Ubuntu #516: Pull request #235 opened by mattpolzin
December 26, 2024 03:20 18m 4s update-deps
update-deps
December 26, 2024 03:20 18m 4s
update dependencies Ubuntu #515: Commit 7f30f65 pushed by mattpolzin
December 26, 2024 03:19 19m 10s update-deps
update-deps
December 26, 2024 03:19 19m 10s
[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 Ubuntu #514: Commit 8055815 pushed by buzden
December 18, 2024 11:46 15m 49s main
main
December 18, 2024 11:46 15m 49s
Remove precomputation of name completions (unused) which is *very* slow Ubuntu #513: Commit d76c2a6 pushed by Russoul
December 15, 2024 21:04 18m 6s support-multi-ipkg-file-setup-dev
support-multi-ipkg-file-setup-dev
December 15, 2024 21:04 18m 6s
Fix code actions Ubuntu #512: Commit cf861b7 pushed by Russoul
December 8, 2024 14:57 19m 11s support-multi-ipkg-file-setup-dev
support-multi-ipkg-file-setup-dev
December 8, 2024 14:57 19m 11s
[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 Ubuntu #511: Pull request #234 opened by spcfox
December 4, 2024 12:04 2m 9s spcfox:with-proof-multiplicity
spcfox:with-proof-multiplicity
December 4, 2024 12:04 2m 9s
update idris2 and lsp-lib dependencies (#232) Ubuntu #510: Commit e2c4c53 pushed by mattpolzin
December 2, 2024 03:45 20m 40s main
main
December 2, 2024 03:45 20m 40s
update idris2 and lsp-lib dependencies Ubuntu #509: Pull request #232 opened by mattpolzin
December 2, 2024 03:13 19m 28s mattpolzin:update-deps
mattpolzin:update-deps
December 2, 2024 03:13 19m 28s
[WIP] Support multi-ipkg setup; Rework how we build the workspace project and when we compute metadata (TTM) Ubuntu #508: Pull request #231 synchronize by Russoul
November 30, 2024 19:50 4m 3s Russoul:support-multi-ipkg-file-setup
Russoul:support-multi-ipkg-file-setup
November 30, 2024 19:50 4m 3s
[WIP] Support multi-ipkg setup; Rework how we build the workspace project and when we compute metadata (TTM) Ubuntu #507: Pull request #231 synchronize by Russoul
November 30, 2024 19:15 19m 20s Russoul:support-multi-ipkg-file-setup
Russoul:support-multi-ipkg-file-setup
November 30, 2024 19:15 19m 20s
[WIP] Support multi-ipkg setup; Rework how we build the workspace project and when we compute metadata (TTM) Ubuntu #506: Pull request #231 synchronize by Russoul
November 29, 2024 15:45 1m 58s Russoul:support-multi-ipkg-file-setup
Russoul:support-multi-ipkg-file-setup
November 29, 2024 15:45 1m 58s
[WIP] Support multi-ipkg setup; Rework how we build the workspace project and when we compute metadata (TTM) Ubuntu #505: Pull request #231 synchronize by Russoul
November 29, 2024 15:10 1m 59s Russoul:support-multi-ipkg-file-setup
Russoul:support-multi-ipkg-file-setup
November 29, 2024 15:10 1m 59s
[WIP] Support multi-ipkg setup; Rework how we build the workspace project and when we compute metadata (TTM) Ubuntu #504: Pull request #231 opened by Russoul
November 27, 2024 12:54 17m 13s Russoul:support-multi-ipkg-file-setup
Russoul:support-multi-ipkg-file-setup
November 27, 2024 12:54 17m 13s
fix new signature for InCon (#230) Ubuntu #503: Commit ac5227b pushed by mattpolzin
November 8, 2024 06:45 19m 22s main
main
November 8, 2024 06:45 19m 22s