Skip to content

Actions: idris-community/idris2-lsp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update main branch to Idris2 0.7.0 Ubuntu #467: Pull request #209 opened by mattpolzin
December 23, 2023 17:27 20m 59s idris2-0.7.0
idris2-0.7.0
December 23, 2023 17:27 20m 59s
Merge pull request #208 from mattpolzin/update-idris2-070 Ubuntu #466: Commit dec260f pushed by mattpolzin
December 23, 2023 17:27 18m 55s idris2-0.7.0
idris2-0.7.0
December 23, 2023 17:27 18m 55s
[ upstream ] Add WithDefault handling to visibility (#207) Ubuntu #465: Commit 526902b pushed by mattpolzin
December 23, 2023 17:25 24m 24s idris2-0.7.0
idris2-0.7.0
December 23, 2023 17:25 24m 24s
Create branch for Idris 2 (v0.7.0) and updated LSP-lib. Ubuntu #464: Pull request #208 synchronize by mattpolzin
December 22, 2023 21:36 7m 38s mattpolzin:update-idris2-070
mattpolzin:update-idris2-070
December 22, 2023 21:36 7m 38s
Create branch for Idris 2 (v0.7.0) and updated LSP-lib. Ubuntu #463: Pull request #208 opened by mattpolzin
December 22, 2023 21:16 18m 18s mattpolzin:update-idris2-070
mattpolzin:update-idris2-070
December 22, 2023 21:16 18m 18s
Add nix flake support Ubuntu #462: Pull request #199 synchronize by mattpolzin
December 22, 2023 16:51 24m 55s bodokat:main
bodokat:main
December 22, 2023 16:51 24m 55s
[ upstream ] Add WithDefault handling to visibility (#207) Ubuntu #461: Commit 526902b pushed by buzden
October 25, 2023 15:42 40m 28s main
main
October 25, 2023 15:42 40m 28s
[ upstream ] Add WithDefault handling to visibility Ubuntu #460: Pull request #207 synchronize by Adowrath
October 25, 2023 10:28 37m 56s Adowrath:incompatible-visibilities-upstream
Adowrath:incompatible-visibilities-upstream
October 25, 2023 10:28 37m 56s
[ upstream ] Add WithDefault handling to visibility Ubuntu #459: Pull request #207 opened by Adowrath
October 24, 2023 21:38 27m 1s Adowrath:incompatible-visibilities-upstream
Adowrath:incompatible-visibilities-upstream
October 24, 2023 21:38 27m 1s
Split the project into a reusable component library LSP-lib and an … Ubuntu #458: Commit 7fa662a pushed by Russoul
August 29, 2023 18:57 10m 13s main
main
August 29, 2023 18:57 10m 13s
Merge pull request #203 from dunhamsteve/fix-build Ubuntu #457: Commit 15ebd8d pushed by stefan-hoeck
August 28, 2023 12:35 25m 14s main
main
August 28, 2023 12:35 25m 14s
Fix build with latest idris Ubuntu #456: Pull request #203 opened by dunhamsteve
August 24, 2023 14:54 35m 48s dunhamsteve:fix-build
dunhamsteve:fix-build
August 24, 2023 14:54 35m 48s
Split the project into a reusable component library LSP-lib and an implementation depending on the library Ubuntu #455: Pull request #202 opened by Russoul
August 24, 2023 14:07 33m 9s split
split
August 24, 2023 14:07 33m 9s
Remove a TODO from README Ubuntu #454: Commit c9350e4 pushed by Russoul
August 24, 2023 14:01 7m 36s split
split
August 24, 2023 14:01 7m 36s
Update Makefile Ubuntu #453: Commit 3ceb315 pushed by Russoul
August 24, 2023 13:45 5m 25s split
split
August 24, 2023 13:45 5m 25s
Properly (?) add submodule Ubuntu #452: Commit d2ac718 pushed by Russoul
August 24, 2023 12:11 4m 4s split
split
August 24, 2023 12:11 4m 4s
Update CI Ubuntu #451: Commit 1321092 pushed by Russoul
August 24, 2023 11:38 25m 31s split
split
August 24, 2023 11:38 25m 31s
Update .gitmodules and README Ubuntu #450: Commit 1431914 pushed by Russoul
August 24, 2023 11:26 25m 10s split
split
August 24, 2023 11:26 25m 10s
Add nix flake support Ubuntu #449: Pull request #199 opened by bodokat
July 4, 2023 20:02 6m 33s bodokat:main
bodokat:main
July 4, 2023 20:02 6m 33s
Merge pull request #198 from dunhamsteve/error-metadata Ubuntu #448: Commit 759f650 pushed by ShinKage
July 2, 2023 12:35 28m 12s main
main
July 2, 2023 12:35 28m 12s
Merge pull request #197 from dunhamsteve/brief-completions Ubuntu #447: Commit bf38384 pushed by ShinKage
July 2, 2023 12:35 26m 55s main
main
July 2, 2023 12:35 26m 55s
Surface metadata and highlighting in case of error Ubuntu #446: Pull request #198 opened by dunhamsteve
July 1, 2023 22:32 31m 8s dunhamsteve:error-metadata
dunhamsteve:error-metadata
July 1, 2023 22:32 31m 8s
Add option to complete with only the function name Ubuntu #445: Pull request #197 opened by dunhamsteve
July 1, 2023 21:52 39m 12s dunhamsteve:brief-completions
dunhamsteve:brief-completions
July 1, 2023 21:52 39m 12s