Skip to content

Actions: idris-community/idris2-lsp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fix new signature for InCon Ubuntu #502: Pull request #230 synchronize by mattpolzin
November 8, 2024 06:22 20m 52s update-with-fc
update-with-fc
November 8, 2024 06:22 20m 52s
update Idris2 dependency Ubuntu #501: Commit 38df36e pushed by mattpolzin
November 8, 2024 06:21 19m 14s update-with-fc
update-with-fc
November 8, 2024 06:21 19m 14s
fix new signature for InCon Ubuntu #500: Pull request #230 synchronize by andrevidela
November 8, 2024 00:03 1m 58s update-with-fc
update-with-fc
November 8, 2024 00:03 1m 58s
Trigger Build Ubuntu #499: Commit a09f4a1 pushed by andrevidela
November 8, 2024 00:03 1m 45s update-with-fc
update-with-fc
November 8, 2024 00:03 1m 45s
fix new signature for InCon Ubuntu #498: Pull request #230 opened by andrevidela
November 7, 2024 23:38 1m 45s update-with-fc
update-with-fc
November 7, 2024 23:38 1m 45s
fix new signature for InCon Ubuntu #497: Commit aa9a016 pushed by andrevidela
November 7, 2024 23:38 1m 52s update-with-fc
update-with-fc
November 7, 2024 23:38 1m 52s
[ new ] Add a GenerateDefNext code action (#226) Ubuntu #496: Commit 4ec24c8 pushed by mattpolzin
November 2, 2024 13:09 19m 9s main
main
November 2, 2024 13:09 19m 9s
[ new ] Add a GenerateDefNext code action Ubuntu #495: Pull request #226 opened by mattpolzin
October 20, 2024 19:35 19m 22s mattpolzin:gen-next-def
mattpolzin:gen-next-def
October 20, 2024 19:35 19m 22s
[ fix ] show warnings and persist for session Ubuntu #494: Pull request #225 synchronize by dunhamsteve
October 14, 2024 04:06 3m 49s dunhamsteve:persistWarnings
dunhamsteve:persistWarnings
October 14, 2024 04:06 3m 49s
[ fix ] show warnings and persist for session Ubuntu #493: Pull request #225 opened by dunhamsteve
October 13, 2024 17:03 17m 59s dunhamsteve:persistWarnings
dunhamsteve:persistWarnings
October 13, 2024 17:03 17m 59s