Skip to content

Actions: idris-community/idris2-lsp

Actions

Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Idris2 submodule and flake input to grab recent bug fixes (#224) Ubuntu #492: Commit 81e70d4 pushed by mattpolzin
September 15, 2024 19:28 19m 3s main
main
September 15, 2024 19:28 19m 3s
Update Idris2 submodule and flake input to grab recent bug fixes Ubuntu #491: Pull request #224 synchronize by mattpolzin
September 15, 2024 19:07 19m 1s update-idris2
update-idris2
September 15, 2024 19:07 19m 1s
update to supported upload/download artifact versions Ubuntu #490: Commit 35e5844 pushed by mattpolzin
September 15, 2024 19:07 18m 39s update-idris2
update-idris2
September 15, 2024 19:07 18m 39s
Update Idris2 submodule and flake input to grab recent bug fixes Ubuntu #489: Pull request #224 opened by mattpolzin
September 15, 2024 19:05 9s update-idris2
update-idris2
September 15, 2024 19:05 9s
Update Idris2 submodule and flake input to grab recent bug fixes Ubuntu #488: Commit 0d60d8e pushed by mattpolzin
September 15, 2024 19:04 10s update-idris2
update-idris2
September 15, 2024 19:04 10s
this fixes uses of the LSP nix non-flake derivation via IFD in downst… Ubuntu #487: Commit 9719373 pushed by mattpolzin
September 8, 2024 19:10 20m 19s main
main
September 8, 2024 19:10 20m 19s
fix: nix default derivation Ubuntu #486: Pull request #223 opened by mattpolzin
September 8, 2024 18:49 20m 27s mattpolzin:fix-default-nix
mattpolzin:fix-default-nix
September 8, 2024 18:49 20m 27s
Update dependencies, add Nix dev shell (#221) Ubuntu #485: Commit 3779670 pushed by mattpolzin
June 28, 2024 20:03 20m 3s main
main
June 28, 2024 20:03 20m 3s
Update dependencies, add Nix dev shell Ubuntu #484: Pull request #221 opened by mattpolzin
June 28, 2024 15:05 18m 16s mattpolzin:nix-buildIdris-update
mattpolzin:nix-buildIdris-update
June 28, 2024 15:05 18m 16s
Update dependencies after breaking change (#220) Ubuntu #483: Commit fb38877 pushed by mattpolzin
June 25, 2024 21:42 21m 49s main
main
June 25, 2024 21:42 21m 49s
Update dependencies after breaking change Ubuntu #482: Pull request #220 opened by mattpolzin
June 25, 2024 16:32 27m 22s mattpolzin:update-dependencies
mattpolzin:update-dependencies
June 25, 2024 16:32 27m 22s
Add global package directory to search paths (and update Idris2 submo… Ubuntu #481: Commit 07e751b pushed by stefan-hoeck
March 10, 2024 05:41 22m 10s main
main
March 10, 2024 05:41 22m 10s
Add global package directory to search paths (and update Idris2 submodule) Ubuntu #480: Pull request #215 synchronize by mattpolzin
March 10, 2024 05:20 11m 11s mattpolzin:pkg-search-paths
mattpolzin:pkg-search-paths
March 10, 2024 05:20 11m 11s
Add global package directory to search paths (and update Idris2 submodule) Ubuntu #479: Pull request #215 synchronize by mattpolzin
March 9, 2024 19:59 21m 50s mattpolzin:pkg-search-paths
mattpolzin:pkg-search-paths
March 9, 2024 19:59 21m 50s
Add global package directory to search paths (and update Idris2 submodule) Ubuntu #478: Pull request #215 opened by mattpolzin
February 12, 2024 17:43 18m 24s mattpolzin:pkg-search-paths
mattpolzin:pkg-search-paths
February 12, 2024 17:43 18m 24s
Update idris2 and Nix naming (#214) Ubuntu #477: Commit a77ef2d pushed by mattpolzin
January 22, 2024 15:12 19m 27s main
main
January 22, 2024 15:12 19m 27s
Update idris2 and Nix naming Ubuntu #476: Pull request #214 opened by mattpolzin
January 22, 2024 05:53 20m 19s mattpolzin:update-idris2
mattpolzin:update-idris2
January 22, 2024 05:53 20m 19s
bump idris2 for fix to buildIdris helper (#213) Ubuntu #475: Commit 3bfb51d pushed by mattpolzin
January 19, 2024 03:33 6m 48s main
main
January 19, 2024 03:33 6m 48s
bump idris2 for fix to buildIdris helper Ubuntu #474: Pull request #213 opened by mattpolzin
January 19, 2024 01:56 11m 8s mattpolzin:bump-idris2-flakeref
mattpolzin:bump-idris2-flakeref
January 19, 2024 01:56 11m 8s
Merge pull request #211 from idris-community/update-lsp-lib-flakeref Ubuntu #473: Commit f7ae7d2 pushed by andorp
January 17, 2024 22:26 5m 18s main
main
January 17, 2024 22:26 5m 18s
bump LSP-lib flakeref Ubuntu #472: Pull request #211 opened by mattpolzin
January 17, 2024 22:16 8m 44s update-lsp-lib-flakeref
update-lsp-lib-flakeref
January 17, 2024 22:16 8m 44s
bump LSP-lib flakeref Ubuntu #471: Commit 5b4e3c6 pushed by mattpolzin
January 17, 2024 22:16 6m 28s update-lsp-lib-flakeref
update-lsp-lib-flakeref
January 17, 2024 22:16 6m 28s
Add a Nix flake (take 2) (#210) Ubuntu #470: Commit 6c3475d pushed by mattpolzin
January 14, 2024 17:42 21m 42s main
main
January 14, 2024 17:42 21m 42s
Add a Nix flake (take 2) Ubuntu #469: Pull request #210 opened by mattpolzin
January 10, 2024 15:53 25m 18s mattpolzin:nix-flake
mattpolzin:nix-flake
January 10, 2024 15:53 25m 18s
Merge pull request #209 from idris-community/idris2-0.7.0 Ubuntu #468: Commit 9e44cee pushed by andorp
December 25, 2023 15:28 21m 32s main
main
December 25, 2023 15:28 21m 32s