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 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